Verification of Object-Oriented Software. the KeY Approach
de Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Ediciones (1)
- Verification of Object-Oriented Software. the KeY Approach (2007)
Springer London, Limited · inglés · ISBN 9783540690610
de Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Springer London, Limited · inglés · ISBN 9783540690610
