Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Georges Gonthier Michael Norrish Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings 2013 Springer Lecture Notes in Computer Science 8307 https://doi.org/10.1007/978-3-319-03545-1 978-3-319-03544-4 CPP db/conf/cpp/cpp2013.html