Verification of Object-Oriented Software: The KeY Approach
-
Author(s):
Bernhard Beckert
Reiner Hähnle
Peter H. Schmitt (Editors) -
Source:
LNCS 4334, Springer, 2007
Bernhard Beckert
Reiner Hähnle
Peter H. Schmitt (Editors)
LNCS 4334, Springer, 2007