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