FESCA 2011

8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2nd-3rd April 2011, Saarbruecken, Germany

The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering.