Formal methods for components and objects：first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

Corporate Authors: FMCO 2002 (2002 Leiden, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer-Verlag,
Publication Dates: c2003.
Call Number: TP311.11-532/F723/2002