Gonthier, G., & Norrish, M. (2013). Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Cham [u.a.]: Springer.
ISBD ZitierstilCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish . — Cham [u.a.] : Springer, 2013. — Online-Ressource (XII, 309 p. 44 illus, online resource). — (Lecture notes in computer science ; 8307). — ISBN 9783319035451
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.