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

VERIFY 2008: Sydney, NSW, Australia

Bernhard Beckert, Gerwin Klein (Eds.): Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 372 CEUR-WS.org 2008 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Abstracts of Invited Talks

Research Papers

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