Richard Bubel

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