Cita APA (7a ed.)

Giacobazzi, R., Abel, A. C., & Sheard, T. C. (2013). PLPV '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 22, 2013, Rome, Italy. ACM.

Cita Chicago Style (17a ed.)

Giacobazzi, Roberto, Andreas Contributor Abel, y T Contributor Sheard. PLPV '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification : January 22, 2013, Rome, Italy. [Place of publication not identified]: ACM, 2013.

Cita MLA (9a ed.)

Giacobazzi, Roberto, et al. PLPV '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification : January 22, 2013, Rome, Italy. ACM, 2013.