Your search returned 4 results.

Results
1.	Image from Amazon.com Image from Coce	FM 2015: Formal Methods by Nikolaj Bj�rner, Frank de Boer Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.		It's All About Coordination by Frank de Boer, Marcello Bonsangue, Jan Rutten Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online resources: Click here to access online 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	Software Engineering and Formal Methods by Frank de Boer Antonio Cerone 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	Active Object Languages: Current Research Trends by Frank de Boer Eduard Kamburjan Einar Broch Johnsen Ferruccio Damiani Reiner H�hnle Series: Lecture Notes in Computer Science Edition: 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).