Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Jana Kofroň, Jana Tumova, Bara Buhnova

The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of forma…