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.
Chicago Style CitationVasconcelos, Vasco T., Francisco Martins, Eduardo R. B. Marques, Hugo A. López, César Santos, and Nobuko Yoshida. Type-Based Verification of Message-Passing Parallel Programs. 2014.
MLA CitationVasconcelos, Vasco T., et al. Type-Based Verification of Message-Passing Parallel Programs. 2014.
Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero
, which allows the automatic upload of Oasisbr references.