@proceedings{BeckertKleinVerify2008,
editor = {Bernhard Beckert and Gerwin Klein},
title = {5th International Verification Workshop ({VERIFY} '08)
co-located with {IJCAR} 2008: the 4th International Joint
Conference on Automated Reasoning},
venue = {Sydney, Australia},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {372},
year = {2008},
note = {Available at http://ceur-ws.org/Vol-372}
}