Mattias Ulbrich

• Deductive Software Verification : Future Perspectives
• Deductive Software Verification – The KeY Book