Your search returned 4 results.

Results
1.	Image from Amazon.com Image from Coce	Critical Systems: Formal Methods and Automated Verification by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp 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	Formal Methods � The Next 30 Years by Maurice H. ter Beek Annabelle McIver Jos� N. Oliveira 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	From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek Alessandro Fantechi Laura Semini 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).
4.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Maurice H. ter Beek Dejan Ničković 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).