SSoftware Engineering and Formal Methods. SEFM 2023 CollocateSoftware Engineering and Formal Methods. SEFM 2023 Collocated Workshopsde Alessandro AldiniEdiciones (1)Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops (2024)Springer · inglés · ISBN 9783031660207Más obras de Alessandro AldiniA process algebraic approach to software architecture designFoundations of Security Analysis and Design VI
