ISBN 354068977X books & textbook
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)
Beckert, Bernhard Hähnle, Reiner Schmitt, Peter H.
Springer /2007-01-03 Paperback / 687 Pages
isbn-10: 354068977X / isbn-13: 9783540689775
