KeY: A Formal Method for Object-Oriented Systems
| Autor(en): | Wolfgang Ahrendt |
||
|---|---|---|---|
| Quelle: | Invited Paper, 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07), Paphos, Cyprus. LNCS 4468, Springer, 2007 |
||
