Tests and Proofs
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 BibTeX
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 BibTeX
Copyright © Sat May 16 23:43:32 2009
by Michael Ley (ley@uni-trier.de)
