Showing 1 - 1 results of 1 for search 'Eduardo R. B. Marques', query time: 0.02s
Refine Results
-
1
Towards deductive verification of MPI programs against session types by Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Published 2013-12-01
Article