1
Formal methods for components and objects [E-Book] : 5th international symposium Amsterdam, Netherlands, November 7-10, 2006 : FMCO 2006 : revised lectures /