Home | deutsch  | Legals | Sitemap | KIT

Verifying Object-Oriented Programs with KeY: A Tutorial

Verifying Object-Oriented Programs with KeY: A Tutorial
Author(s):

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

Source:

5th International Symposium on Formal Methods for Components and Objects (FMCO), Amsterdam, 2006, LNCS 4709