Cita APA (7a ed.)

Danielsson, N. A. (2014). PLPV '14: Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA. ACM.

Cita Chicago Style (17a ed.)

Danielsson, Nils Anders. PLPV '14: Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification : January 21, 2014, San Diego, California, USA. [Place of publication not identified]: ACM, 2014.

Cita MLA (9a ed.)

Danielsson, Nils Anders. PLPV '14: Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification : January 21, 2014, San Diego, California, USA. ACM, 2014.