The KeY Approach: Integrating Object Oriented Design and Formal Verification

@InProceedings{AhrendtBaarBeckertEA2000,
  author =       {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert
                  and Martin Giese and Elmar Habermalz and Reiner
                  H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
  title =        {The {\KeY} Approach: {I}ntegrating Object Oriented
                  Design and Formal Verification},
  booktitle =    {European Workshop on Logics in Artificial Intelligence
		  ({JELIA} 2000)},
  venue  =       {Malaga, Spain},
  editor =       {Ojeda-Aciego, M. and Guzman, I. P. de and Brewka,
		  G. and Pereira, L. M.},
  publisher =    {Springer},
  series =       {LNCS 1919},
  eventdate =    {2000-09-29/2000-10-02},
  month =        sep,
  year =         {2000},
  doi =          {10.1007/3-540-40006-0_3}
}