Tests and Proofs
3. TAP 2009: Zurich, Switzerland
Catherine Dubois (Ed.):
Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings.
Lecture Notes in Computer Science 5668 Springer 2009, ISBN 978-3-642-02948-6
Contents 
2. TAP 2008: Prato, Italy
Bernhard Beckert, Reiner Hähnle (Eds.):
Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings.
Lecture Notes in Computer Science 4966 Springer 2008, ISBN 978-3-540-79123-2
Contents
1. TAP 2007: Zurich, Switzerland
Yuri Gurevich, Bertrand Meyer (Eds.):
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers.
Lecture Notes in Computer Science 4454 Springer 2007, ISBN 978-3-540-73769-8
Contents
Copyright © Mon Mar 15 03:55:20 2010
by Michael Ley (ley@uni-trier.de)
