Raul Fervari profile picture

Raul Fervari

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops