@InProceedings{   BeusterHenrichWagner:RealWorldVerification,
  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 Empirical Succesfully
                Computerized Reasoning (ESCoR 2006), Seattle, USA},
  editor     = "Geoff Sutcliffe and Renate Schmidt and Stephan Schulz",
  year       = {2006},
  ISSN       = "1613-0073",
  publisher  = "CEUR workshop proceedings",
}