Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings - Gonthier, Georges; Norrish, Michael (Springer International Publishing : Imprint: Springer, 2013)