4 papers
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures
Jan Kofroň, Jana Tumova
These are the proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 22, 2…
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…
Proceedings 12th 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 junior researchers from formal methods, software engineering, and industry interested in the development and application of forma…
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Barbora Buhnova, Lucia Happe, Jan Kofroň
These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2…