3rd International Conference on Certified Programs and Proofs Posted on October 1, 2014 by SCG DR Proceedings Title Copyright owner 3rd International Conference on Certified Programs and Proofs (ISBN: 978-3-319-03545-1) Springer
