@STRING{lncs = "LNCS"}
@STRING{lnai = "LNCS"}
@STRING{spv = "Springer-Verlag"}


@InProceedings{fmoodsKeY07,
  author =       {Wolfgang Ahrendt and Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
  title =        {{KeY}: A Formal Method for Object-Oriented Systems},
  booktitle =    {9th. Intl. Conference on Formal Methods for Open Object-Based Distributed Systems,
                  Paphos, Cyprus, June 2007},
  editor =       {M.M. Bonsangue and E.B. Johnsen},
  publisher =    spv,
  series =       lncs,
  volume =       4468,
  year =         {2007}
}