Dynamic Symbolic Verification of MPI Programs

Publication
In Formal Methods 2018, Oxford, U.K.
Subodh Sharma
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation

Related