Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Bara Buhnova, Lucia Happe, Jan Kofroň

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 appli…