@PhdThesis{Bormann:VFV2009,
  author =       "J{\"o}rg Bormann",
  title =        "{Vollst{\"a}ndige Formale Verifikation}",
  school =       "Universit{\"a}t Kaiserslautern",
  year =         "2009",
  month =        jun,
  ee =           "http://kluedo.ub.uni-kl.de/volltexte/2009/2356/",
  URL =          "http://kluedo.ub.uni-kl.de/volltexte/2009/2356/pdf/diss_joerg_bormann.pdf",
}