From Lambda Calculus to Cybersecurity Through Program AnalysisAlessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan · First published 2020Open the Tome
Formal Methods for Quantitative Aspects of Programming LanguagesAlessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky · First published 2010Open the Tome
