Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS
The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. Subtitle ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers.