Search

You searched for: Auteur Leino, Matti Remove constraint Auteur: Leino, Matti
1 entry found
Number of results to display per page

Search Results

1. Verification of Object-Oriented Software. The KeY Approach
thumbnail
Full text!
Author:
Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book