You are about to access our book library "Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science) (2007-02-21) full version" .