dblp.uni-trier.de www.uni-trier.de

21. CADE 2007: Bremen, Germany - VERIFY

Bernhard Beckert (Ed.): Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. CEUR Workshop Proceedings 259 CEUR-WS.org 2007 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Abstracts of Invited Talks

Research Papers

Copyright © Mon Mar 15 03:18:17 2010 by Michael Ley (ley@uni-trier.de)