Bernhard Beckert, Reiner H�hnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach - 2007 ISBN: 978-3-540-69061-0 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science