Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / ed. A. Aldini, R. Gorrieri, 2007 r=on-line. - Текст : электронный.
Computer performance engineering : 7th european performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010: proceedings / eds. A. Aldini [et al.], 2010 r=on-line. - Текст : электронный.
Aldini A. A process algebraic approach to software architecture design / A. Aldini, M. Bernardo, F. Corradini, 2010 r=on-line. - Текст : электронный.
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Formal methods for quantitative aspects of programming languages : 10th International School on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010: advanced lectures / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.