@Inproceedings{inforum13, author={N.D. Martins and C. Santos and E. R. B. Marques and F. Martins and V. T. Vasconcelos}, title={Especifica\c{c}\~{a}o e Verifica\c{c}\~{a}o de Protocolos para Programas {MPI}}, booktitle={Atas do INFORUM, Simpósio de Informática}, year={2013}, pages={90--101} }