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