Libros

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
2021
Model Management and Analytics for Large Scale Systems Model Management and Analytics for Large Scale Systems
2019