Publications

Export 1 results:
Filters: Author is Marques, Eduardo RB  [Clear All Filters]
Journal Article
Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng, "Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.