ISBN 3642253784 books & textbook
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science, 7086)
Jouannaud, Jean-Pierre Shao, Zhong
Springer /2011-11-18 Paperback / 416 Pages
isbn-10: 3642253784 / isbn-13: 9783642253782