{"proceedings":{"@attributes":{"key":"conf\/cpp\/2016","mdate":"2016-01-18"},"editor":["Jeremy Avigad","Adam Chlipala"],"title":"Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016","publisher":"ACM","booktitle":"CPP","year":"2016","isbn":"978-1-4503-4127-1","ee":"http:\/\/dl.acm.org\/citation.cfm?id=2854065","url":"db\/conf\/cpp\/cpp2016.html"}}