

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