Coordination Models and LanguagesFerruccio Damiani, Ornela Dardha · First published 2021Open the Tome
Formal Methods for Executable Software ModelsMarco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer · First published 2014Open the Tome
Types for Proofs and ProgramsStefano Berardi, Mario Coppo, Ferruccio Damiani · First published 2004Open the Tome
