Cita APA (7a ed.)

Leroy, X. (2015). CPP '15: Proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India. ACM.

Cita Chicago Style (17a ed.)

Leroy, Xavier. CPP '15: Proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India. [Place of publication not identified]: ACM, 2015.

Cita MLA (9a ed.)

Leroy, Xavier. CPP '15: Proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India. ACM, 2015.