Conference 
CPP (Conference) (6th : 2017 : Paris, France)

Title 
CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 1617, 2017, Paris, France / edited by Yves Bertot and Viktor Vafeiadis. 
Alternative Title 
Certified Programs and Proofs '17 : proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 1617, 2017, Paris, France 

Certified Programs and Proofs 2017 

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs 

Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs 
Publication Info 
New York : ACM, 2017. 
