Marcello M. Bonsangue
4 published titles
Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010 : revised papers
(Contributor)
1 edition
- ISBN: 9783642252709
- Springer
- 2011
- Details
Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642358869
- Springer
- 2013
- Details
Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, revised selected papers
(Contributor)
1 edition
- ISBN: 9783662441237
- Springer
- 2014
- Details
Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783319307336
- Springer
- 2016
- Details
