TY - BOOK ID - 64226712 TI - CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA AU - Avigad, Jeremy AU - Chlipala, Adam AU - CPP (Conference) AU - ACM Special Interest Group on Programming Languages PY - 2016 SN - 1450341276 PB - New York : ACM, DB - UniCat KW - Computer science KW - Proof theory KW - Formal methods (Computer science) KW - Logic, Symbolic and mathematical KW - Mathematics KW - Data processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:64226712 AB - ER -