Home | english  | Impressum | Sitemap | KIT

KeY: A Formal Method for Object-Oriented Systems

KeY: A Formal Method for Object-Oriented Systems
Autor(en):

Wolfgang Ahrendt
Bernhard Beckert
Reiner Hähnle
Peter H. Schmitt

Quelle:

Invited Paper, 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07), Paphos, Cyprus. LNCS 4468, Springer, 2007