Software engineering and formal methods. sefm 2024 collocated workshops: reacts 2024 and cifma 2024, aveiro, portugal, november 4–5, 2024, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783031947476
Date de publication :
12 août 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.