2011 | Book
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Editors: Jean-Pierre Jouannaud, Zhong Shao
Publisher: Springer Berlin Heidelberg
Book Series : Lecture Notes in Computer Science