Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Jean-Pierre Jouannaud Zhong Shao 0001 Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings 7086 2011 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-25379-9 978-3-642-25378-2 CPP db/conf/cpp/cpp2011.html