You are about to access our book library "Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected ... Notes in Computer Science Book 15551) full version"
.