Books by Alessandro Aldini
Software Engineering and Forma
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Data Privacy Management, and Security Assurance
Foundations of Security Analysis and Design VIII
User-Centric Networking
Data Privacy Management, Auton
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Foundations of Security Analys
Foundations of Security Analysis and Design VII
Foundations of Security Analysis and Design VI
A process algebraic approach to software architecture design
Formal Methods for Quantitative Aspects of Programming Languages
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design III