"Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)" - читать интересную книгу автора (Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt)
-->