formal methods for components and objects,6th international symposium, fmco 2007, amsterdam, the netherlands, october 24-27, 2007, revised pap

frank s. (edt) de boer · springer-verlag new york inc