Models, Languages, and Tools for Concurrent and Distributed ProgrammingMichele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese · First published 2019Open the Tome
Quality Assessment of Digital Services in E-government with a Case Study in an Italian RegionFlavio Corradini, Alberto Polzonetti, Barbara Re · First published 2009Open the Tome
Formal Methods for the Design of Real-Time SystemsMarco Bernardo, Flavio Corradini · First published 2004Open the Tome
