APA-Zitierstil (7. Ausg.)

Gonthier, G. (2013). Certified programs and proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; proceedings. Springer. https://doi.org/10.1007/978-3-319-03545-1

Chicago-Zitierstil (17. Ausg.)

Gonthier, Georges. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; Proceedings. Cham [u.a.]: Springer, 2013. https://doi.org/10.1007/978-3-319-03545-1.

MLA-Zitierstil (9. Ausg.)

Gonthier, Georges. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; Proceedings. Springer, 2013. https://doi.org/10.1007/978-3-319-03545-1.