@book{Beckert_Klein_08,
    editor           = {{Bernhard Beckert and Gerwin Klein}},
    keywords         = {verification},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1311.pdf},
    publisher        = {CEUR Workshop Proceedings},
    title            = {5th International Verification Workshop --- {VERIFY}'08},
    volume           = {372},
    year             = {2008}
  }