Formal methods for components and objects：4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures

Corporate Authors: FMCO 2005 (2005 Amsterdam, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.11-532/F723/2005