Formal methods for components and objects：third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures

Corporate Authors: FMCO 2004 (2004 Leiden, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2005.