Tallenna
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.
- Alaotsikko
- ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
- Toimittaja
- José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
- ISBN
- 9783031947476
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.8.2025
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 291
