Eric Madelain
AuthID: R-00J-534
1
TÃTULO: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
AUTORES: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLICAÇÃO: 2009, FONTE: FMCO, VOLUME: 5751
AUTORES: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLICAÇÃO: 2009, FONTE: FMCO, VOLUME: 5751
INDEXADO EM: DBLP