APA (7th ed.) Citation

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 (17th ed.) Citation

Vasconcelos, 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 (8th ed.) Citation

Vasconcelos, Vasco T., et al. Type-Based Verification of Message-Passing Parallel Programs. 2014.