Tests and Proofs
7. TAP 2013: Budapest, Hungary
Margus Veanes, Luca Viganò (Eds.): Tests and Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7942 ISBN 978-3-642-38915-3 [ contents ]
6. TAP 2012: Prague, Czech Republic
- Achim D. Brucker, Jacques Julliand (Eds.): Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7305 ISBN 978-3-642-30472-9 [ contents ]
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. Springer 2011 Lecture Notes in Computer Science 6706 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. Springer 2010 Lecture Notes in Computer Science 6143 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. Springer 2009 Lecture Notes in Computer Science 5668 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. Springer 2008 Lecture Notes in Computer Science 4966 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. Springer 2007 Lecture Notes in Computer Science 4454 ISBN 978-3-540-73769-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team