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