@proceedings{beckertVerify2007, editor = {Bernhard Beckert}, title = {4th International Verification Workshop ({VERIFY} '07) co-located with {CADE-21}: the 21st Conference on Automated Deduction}, place = {Bremen, Germany}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, volume = {259}, year = {2007}, note = {Available at http://ceur-ws.org/Vol-259} }