Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino - Schmitt, Peter H.; Hahnle, Reiner; Beckert, Bernhard (Lecture Notes in Computer Science,, 2007)