ISBN 9783540791232 books & textbook
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science, 4966)
Beckert, Bernhard Hähnle, Reiner
Springer /2008-03-31 Paperback / 203 Pages
isbn-10: 354079123X / isbn-13: 9783540791232
