Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018

June Andronick Amy P. Felty Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 CPP ACM 2018 978-1-4503-5586-5 http://dl.acm.org/citation.cfm?id=3176245 db/conf/cpp/cpp2018.html