Books by Reiner Hähnle
Deductive Software Verificatio
Deductive Software Verification : Future Perspectives
Machine Learning for Dynamic Software Analysis : Potentials and Limits
Deductive Software Verificatio
Deductive Software Verification - the KeY Book
Verification of Object-Oriente
Verification of Object-Oriented Software. the KeY Approach