Deductive Verification of MPI Protocols
| Title | Deductive Verification of MPI Protocols |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng |
| Journal | Behavioural Types: from Theory to Tools |
| Pagination | 353 |
