Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures

Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)

Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings

Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings

Service-oriented and cloud computing : first European conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings