Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015

Xavier Leroy Alwen Tiu Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015 ACM CPP 2015 978-1-4503-3296-5 http://dl.acm.org/citation.cfm?id=2676724 db/conf/cpp/cpp2015.html