Home | english  | Impressum | Sitemap | KIT

Verifying Object-Oriented Programs with KeY: A Tutorial

Verifying Object-Oriented Programs with KeY: A Tutorial
Autor(en):

Wolfgang Ahrendt
Bernhard Beckert
Reiner Hähnle
Philipp Rümmer
Peter H. Schmitt

Quelle:

5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Amsterdam, The Netherlands. LNCS 4709, Springer, 2007