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