Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008

Bernhard Beckert Gerwin Klein Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 VERIFY CEUR-WS.org CEUR Workshop Proceedings 372 2008 db/conf/cade/verify2008.html