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 BibTeX
Invited Talks
Research Papers
Tutorials
Copyright © Sat May 16 23:43:32 2009
by Michael Ley (ley@uni-trier.de)