Your search returned 4 results.

Results
1.	Image from Amazon.com Image from Coce	Deductive Software Verification � The KeY Book by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H�hnle, Peter H. Schmitt, Mattias Ulbrich Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Wolfgang Ahrendt Silvia Lizeth Tapia Tarifa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	Tests and Proofs by Wolfgang Ahrendt Heike Wehrheim Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
4.	Image from Amazon.com Image from Coce	Deductive Software Verification: Future Perspectives by Wolfgang Ahrendt Bernhard Beckert Richard Bubel [et al.] Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).