Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Alessandro Aldini
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - 2024 - Heidelberg, Germany Springer Nature 2024 - Lecture Notes in Computer Science .
978-3-031-66021-4
Computer Science
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - 2024 - Heidelberg, Germany Springer Nature 2024 - Lecture Notes in Computer Science .
978-3-031-66021-4
Computer Science
