Home | english  | Impressum | Sitemap | KIT

Verification of Object-Oriented Software: The KeY Approach

Verification of Object-Oriented Software: The KeY Approach
Autor(en):

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

Links:
Quelle:

LNCS 4334, Springer, 2007