@incollection{betty17, author = {V. T. Vasconcelos and F. Martins and E. R. B. Marques and N. Yoshida and N. Ng}, title={Deductive Verification of {MPI} Protocols}, chapter={16}, pages={353--372}, booktitle = {Behavioural Types: from Theory to Tools}, publisher={River Publishers}, year = {2017} }