Elena Giachino et al.: Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (2013)conf/fmco/201210.1007/978-3-642-40615-79783642406140Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures4Elena Giachino1Reiner Hähnle2Frank S. de Boer3Marcello M. Bonsangue4Lecture Notes in Computer ScienceLecture Notes in Computer Science78662013Springerprovenance information for RDF data of dblp record 'conf/fmco/2012'2023-03-21T21:02:00+0100