Wolfgang Ahrendt

• Integrated Formal Methods
• Logic of Software. a Tasting Menu of Formal Methods
• Tests and Proofs
• Deductive Software Verification - the KeY Book
• Deductive Software Verification : Future Perspectives
• Deductive Software Verification – The KeY Book