Marcello Bonsangue
AuthID: R-006-WSY
11
TITLE: Formal Methods for Components and Objects. 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
AUTHORS: Marcello M Bonsangue; Susanne Graf; Willem Paul de Roever;
PUBLISHED: 2009
AUTHORS: Marcello M Bonsangue; Susanne Graf; Willem Paul de Roever;
PUBLISHED: 2009
INDEXED IN: 
Openlibrary
Openlibrary12
TITLE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2008, SOURCE: FMCO, VOLUME: 5382
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2008, SOURCE: FMCO, VOLUME: 5382
INDEXED IN: 
DBLP
DBLP13
TITLE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2007, SOURCE: FMCO, VOLUME: 4709
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2007, SOURCE: FMCO, VOLUME: 4709
INDEXED IN: DBLP
DBLP14
TITLE: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLISHED: 2005, SOURCE: FMCO, VOLUME: 3657
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLISHED: 2005, SOURCE: FMCO, VOLUME: 3657
INDEXED IN: DBLP
DBLP