Bonsangue, Marcello M.

ID:DA16101754

Search authors sharing the same name

Search Results1-4 of 4

1

Theoretical aspects of computing -- ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024 : proceedings

Chutiporn Anutariya, Marcello M. Bonsangue, editors

Springer , [2025] , c2025 Lecture notes in computer science 15373

Available at 1 libraries
2

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)

Springer c2009 Lecture notes in computer science 5751

Available at 2 libraries
3

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Springer c2006 Lecture notes in computer science 4111

Available at 6 libraries
4

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Frank S. de Boer ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3657

Available at 7 libraries

Search this author

Related Authors