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
1-1 of 1 Editions
Verification of Object-Oriented Software. The KeY ApproachForeword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Language: eng
Pages: 658
Published In: February 21, 2007
Publisher: Springer