The KeY System: Integrating Object-Oriented Design and Formal Methods

@InProceedings{ABBGHMMS02,
  author    = {Wolfgang Ahrendt and
               Thomas Baar and
               Bernhard Beckert and
               Martin Giese and
               Reiner H\"ahnle and
               Wolfram Menzel and
               Wojciech Mostowski and
               Peter H. Schmitt},
  title     = {The {\KeY} System: {I}ntegrating Object-Oriented Design and
               Formal Methods},
  booktitle = {5th International Conference on Fundamental Approaches to
               Software Engineering (FASE 2002) held as part of ETAPS 2002:
               the Joint European Conferences on Theory and Practice of
               Software},
  editor    = {R.-D. Kutsche and H. Weber},
  pages     = {327--330},
  publisher = {Springer},
  series    = {LNCS 2306},
  venue     = {Grenoble, France},
  year      = {2002},
  month     = apr
}