@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     = "Fundamental Approaches to Software Engineering. 5th
                  International Conference, FASE 2002 Held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2002 Grenoble, France, April 2002,
                  Proceedings",
  editor        = "Ralf-Detlef Kutsche and Herbert Weber",
  pages         = "327--330",
  publisher = "Springer",
  series =       "LNCS",
  volume =       "2306",
  year =         "2002",
}