1
Published 2008
Springer Berlin Heidelberg
..., The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium...

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

3
Published 2003
Springer Berlin Heidelberg
... and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials...

4
Published 2004
Springer Berlin Heidelberg
... on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003...

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

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