@proceedings{verify_08,
  editor = {Bernhard Beckert and Gerwin Klein},
  title = {Proc.\ 5th Verification Workshop (VERIFY'08)},
  series = {CEUR Workshop Proceedings},
  volume = 372,
  year = 2008,
  url = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-372/},
}