An edition of Verification of object-oriented software (2007)
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
By Bernhard Beckert
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
February 21, 2007
Publisher
Springer
Language
eng
Pages
658
Book Lists