@InProceedings{Beuster:ESCOR06-112,
  author =       "Gerd Beuster and Niklas Henrich and Markus Wagner",
  title =        "Real World Verification -- {Experiences} from the
                 {Verisoft} Email Client",
  booktitle =    "Proceedings of the FLoC'06 Workshop on Empirically Successful
	             Computerized Reasoning (ESCoR 2006)",
  editor =       "Geoff Sutcliffe and Renate Schmidt and Stephan
                 Schulz",
  pages =        "112--125",
  year =         "2006",
  publisher =    "CEUR-WS.org",
  series =       "CEUR Workshop Proceedings",
  volume =       "192",
  month =        aug,
  URL =          "http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-192/paper08.pdf",
}