@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
| Author(s): | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt |
|---|---|
| In: | IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007) |
| Publisher: | Springer |
| Series: | LNCS 4468 |
| Year: | 2007 |