(2013). Certified programs and proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; Proceedings. Cham [u.a.]: Springer, 2013.
MLA-Zitierstil (9. Ausg.)Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; Proceedings. Springer, 2013.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.