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