Tests and Proofs
5. TAP 2011: Zurich, Switzerland
Martin Gogolla, Burkhart Wolff (Eds.):
Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings.
Lecture Notes in Computer Science 6706 Springer 2011, ISBN 978-3-642-21767-8
Contents 
4. TAP 2010: Málaga, Spain
Gordon Fraser, Angelo Gargantini (Eds.):
Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings.
Lecture Notes in Computer Science 6143 Springer 2010, ISBN 978-3-642-13976-5
Contents
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
Last update Thu May 24 04:45:02 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
