Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - Beckert, Bernhard (Herausgeber); Hähnle, Reiner (Herausgeber); Schmitt, Peter H (Herausgeber) (Lecture Notes in Artificial Intelligence, 2007)