Annotation This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised …
Annotation This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised …
Formal methods for components and objects: 7th international symposium, FMCO 2008, Sophia An…
by Boer, Frank S. de, Bonsangue, Marcello M., Madelaine, Eric, FMCO, Sophia Antipolis, FMCO, Sophia Antipolis, France), International Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France)