@InProceedings{AhrendtBeckertHaehnleSchmitt2007,
author = {Wolfgang Ahrendt and Bernhard Beckert and Reiner H\"ahnle
and Peter H. Schmitt},
title = {{\KeY}: {A} Formal Method for Object-Oriented Systems},
booktitle = {{IFIP} International Conference on Formal Methods for
Open Object-Based Distributed Systems ({FMOODS} 2007)},
editor = {E. B. Johnsen and M. Bonsangue},
publisher = {Springer},
series = {LNCS 4468},
venue = {Paphos, Cyprus},
year = {2007}
}