1. Wolfgang Ahrendt , Bernhard Beckert , Richard Bubel , Reiner Hähnle , Peter H. Schmitt , and Mattias Ulbrich ( Eds .). 2016 . Deductive Software Verification - The KeY Book . Lecture Notes in Computer Science , Vol. 10001 . Springer-Verlag, Cham, Switzerland. Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification - The KeY Book. Lecture Notes in Computer Science, Vol. 10001. Springer-Verlag, Cham, Switzerland.
2. Search-based program synthesis
3. Fifty years of Hoare’s logic
4. Gianluca Barbon , Vincent Leroy , and Gwen Salaün . 2017. Debugging of Concurrent Systems Using Counterexample Analysis . In Fundamentals of Software Engineering , Mehdi Dastani and Marjan Sirjani (Eds.). Springer International Publishing , Cham , 20--34. Gianluca Barbon, Vincent Leroy, and Gwen Salaün. 2017. Debugging of Concurrent Systems Using Counterexample Analysis. In Fundamentals of Software Engineering, Mehdi Dastani and Marjan Sirjani (Eds.). Springer International Publishing, Cham, 20--34.
5. Bernhard Beckert , Reiner Hähnle , and Peter H . Schmitt . 2007 . Verification of Object-Oriented Software: The KeY Approach. Lecture Notes in Computer Science, Vol. 4334 . Springer-Verlag , Berlin. Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt. 2007. Verification of Object-Oriented Software: The KeY Approach. Lecture Notes in Computer Science, Vol. 4334. Springer-Verlag, Berlin.