KeY: A Formal Method for Object-Oriented Systems

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle und Peter H. Schmitt
In:IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007)
Verleger:Springer
Reihe:LNCS 4468
Jahr:2007

BibTeX

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