Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
de Loek Cleophas, Mieke Massink
Ediciones (1)
- Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops (2021)
Springer International Publishing AG · inglés · ISBN 9783030672195