Gonthier, G., & Norrish, M. (2013). Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Cham: Springer International Publishing : Imprint: Springer.
Chicago Style CitationGonthier, Georges., and Michael Norrish. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2013.
MLA CitationGonthier, Georges., and Michael Norrish. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2013.