Books by Paola Inverardi
Formal methods for software architectures
Formal Methods for Software Ar
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Proceedings of the Joint 9th E
Proceedings of the Joint 9th European Software Engineering Conference (Esec) & 11th Sigsoft Symposium on the Foundations of Software Engineering (Fse-