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