@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 Workshop on Empirical Succesfully
                  Computerized Reasoning (ESCoR 2006)},
  year          = {2006}
}