Home | deutsch  | Legals | Sitemap | KIT

Verification of Object-Oriented Software: The KeY Approach

Verification of Object-Oriented Software: The KeY Approach
Author(s):

Bernhard Beckert
Reiner Hähnle
Peter H. Schmitt (Editors)

Links:
Source:

LNCS 4334, Springer, 2007