![](shapeimage_1.png)
![](shapeimage_2.png)
CPP 2016
The 5th ACM SIGPLAN Conference on
Certified Programs and Proofs
in cooperation with ACM SIGLOG
Saint Petersburg, Florida, USA - January 18-19, 2016
CPP 2016
The 5th ACM SIGPLAN Conference on
Certified Programs and Proofs
in cooperation with ACM SIGLOG
Saint Petersburg, Florida, USA - January 18-19, 2016