@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}
}
KeY: A Formal Method for Object-Oriented Systems
| 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 |