Bernhard Beckert Gerwin Klein Title, Preface, Table of Contents. 2008 VERIFY http://ceur-ws.org/Vol-372/front.pdf conf/cade/2008verify db/conf/cade/verify2008.html#BeckertK08