2013 | Book
Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Editors: Georges Gonthier, Michael Norrish
Publisher: Springer International Publishing
Book Series : Lecture Notes in Computer Science