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