TY - BOOK ID - 138748248 TI - CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA AU - Andronick, June AU - Felty, Amy AU - CPP (Conference) AU - ACM Special Interest Group on Programming Languages PY - 2018 PB - New York : ACM, DB - UniCat KW - Computer science KW - Proof theory KW - Formal methods (Computer science) KW - Mathematics KW - Data processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:138748248 AB - ER -