Infoscience
11th International Symposium on Formal Aspects of Component Software
September 10-12, 2014
Bertinoro, Italy