Exportar referência
APA
Vasco T.Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Hugo A. López, César Santos, Nobuko Yoshida, (2014). Type-Based Verification of Message-Passing Parallel Programs
IEEE
Vasco T.Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Hugo A. López, César Santos, Nobuko Yoshida, "Type-Based Verification of Message-Passing Parallel Programs", 2014
BIBTEX
@misc{34343,
author = {Vasco T.Vasconcelos and Francisco Martins and Eduardo R. B. Marques and Hugo A. López and César Santos and Nobuko Yoshida},
title = {Type-Based Verification of Message-Passing Parallel Programs},
year = 2014
}