@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
}
