ISBN 9783642029486 books & textbook
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science, 5668)
Springer /2009-06-24 Paperback / 179 Pages
isbn-10: 3642029485 / isbn-13: 9783642029486
