Bernhard Beckert Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007 VERIFY CEUR-WS.org CEUR Workshop Proceedings 259 2007 db/conf/cade/verify2007.html