@TechReport{mondex2007,
  author = 	 {Isabel Tonin},
  title = 	 {Verifying the Mondex Case Study.The KeY Approach},
  institution =  {Fakult\"{a}t f\"{u}r Informatik, Universit\"{a}t Karlsruhe},
  year = 	 {2007},
  type = 	 {Techischer Bericht},
  number = 	 {2007-4}
}