1. 2016. Deductive Software Verification — The KeY Book — From Theory to Practice , Wolfgang Ahrendt, Bernhard Beckert , Richard Bubel, Reiner Hähnle, Peter H. Schmitt, and Mattias Ulbrich (Eds.) (LNCS , Vol. 10001). Springer. 2016. Deductive Software Verification — The KeY Book — From Theory to Practice, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, and Mattias Ulbrich (Eds.) (LNCS, Vol. 10001). Springer.
2. Nathaniel Ayewah and William Pugh . 2010. Null dereference analysis in practice . In Proc . PASTE. ACM Press , 65–72. Nathaniel Ayewah and William Pugh. 2010. Null dereference analysis in practice. In Proc. PASTE. ACM Press, 65–72.
3. J. Barnes . 1997. High Integrity Ada: The SPARK Approach . Addison Wesley Longman, Inc. , Reading . J. Barnes. 1997. High Integrity Ada: The SPARK Approach. Addison Wesley Longman, Inc., Reading.
4. Verification of Object-Oriented Programs with Invariants.
5. Specification and verification