APA-Zitierstil (7. Ausg.)

(2012). Certified programs and proofs: Second international conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-35308-6

Chicago-Zitierstil (17. Ausg.)

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; Proceedings. Berlin [u.a.]: Springer, 2012. https://doi.org/10.1007/978-3-642-35308-6.

MLA-Zitierstil (9. Ausg.)

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; Proceedings. Springer, 2012. https://doi.org/10.1007/978-3-642-35308-6.