Exportar referência
APA
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida, (2015). Protocol-based verification of message-passing parallel programs. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 280-298
IEEE
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida, "Protocol-based verification of message-passing parallel programs" in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pittsburgh, PA, 2015, pp. 280-298,
doi: 10.1145/2814270.2814302
BIBTEX
@InProceedings{34386,
author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida},
title = {Protocol-based verification of message-passing parallel programs},
booktitle = {ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
year = 2015,
pages = {280-298},
address = {Pittsburgh, PA},
publisher = {}
}