Bernhard Beckert; Reiner Hahnle; Peter H. Schmitt, Eds.

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Springer, 2007. Soft Cover. Very Good / No Jacket. Item #1110412
ISBN: 354068977X

Price: $62.50