This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution hel

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods i

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Ur

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbr