Formal methods for components and objects：8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers

Corporate Authors: FMCO 2009 (2009 Eindhoven, Netherlands); SpringerLink (Online service)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: 2010.