Vasconcelos, V. T., Martins, F., Marques, E. R. B., López, H. A., Santos, C., & Yoshida, N. (2014). Type-Based Verification of Message-Passing Parallel Programs.
Citação do estilo Chicago (17ª ed.)Vasconcelos, Vasco T., Francisco Martins, Eduardo R. B. Marques, Hugo A. López, César Santos, e Nobuko Yoshida. Type-Based Verification of Message-Passing Parallel Programs. 2014.
Citação MLA (8ª ed.)Vasconcelos, Vasco T., et al. Type-Based Verification of Message-Passing Parallel Programs. 2014.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.