Empirical software engineering and verification : international summer schools, LASER 2008-2010 Elba Island, Italy : revised tutorial lectures

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 Philadelphia, PA, USA, January 28-29, 2012 : proceedings

Fundamental approaches to software engineering : 15th international conference, FASE 2012 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012 : proceedings

Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings