Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - Beckert, Bernhard (Herausgeber); Damiani, Ferruccio (Herausgeber); de Boer, Frank S (Herausgeber); Bonsangue, Marcello M (Herausgeber) (Programming and Software Engineering, 2013)