Cita APA (7a ed.)

Claessen, K., Swamy, N. C., & Claessen, K. C. (2012). PLPV'12: Proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA. ACM.

Cita Chicago Style (17a ed.)

Claessen, Koen, Nikhil Contributor Swamy, y Koen Contributor Claessen. PLPV'12: Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification : January 24, 2012, Philadelphia, PA, USA. [Place of publication not identified]: ACM, 2012.

Cita MLA (9a ed.)

Claessen, Koen, et al. PLPV'12: Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification : January 24, 2012, Philadelphia, PA, USA. ACM, 2012.