2.4.2 The Meaning of Terms and Formulae . .... 4.5.4 Meaning Formulae in the Presence of State Conditions 233 ..... 11.6.1 Customised Induction Rules .
Bernhard Beckert Reiner H¨ahnle Peter H. Schmitt
Verification of Object-Oriented Software The KeY Approach Foreword by K. Rustan M. Leino
Springer Berlin Heidelberg NewYork Hong Kong London Milan Paris Tokyo