Eric Madelain
AuthID: R-00J-534
1
TITLE: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLISHED: 2009, SOURCE: FMCO, VOLUME: 5751
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLISHED: 2009, SOURCE: FMCO, VOLUME: 5751
INDEXED IN: 
DBLP
DBLP