ISBN 3642217672 books & textbook
Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science, 6706)
Gogolla, Martin Wolff, Burkhart
Springer /2011-06-22 Paperback / 215 Pages
isbn-10: 3642217672 / isbn-13: 9783642217678
