1
Published 2005
Springer Berlin Heidelberg
... for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures...

2
Published 2010
Springer Berlin Heidelberg
... Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009...

3
Published 2006
Springer Berlin Heidelberg
... International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands...

4
Published 2007
Springer Berlin Heidelberg
... for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a...