Spar
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
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.
- Undertittel
- ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
- ISBN
- 9783031947476
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 12.8.2025
- Antall sider
- 291
