Flavio Corradini

Formal Methods for the Design of Real-Time Systems

Quality Assessment of Digital Services in E-government with a Case Study in an Italian Region

Models, Languages, and Tools for Concurrent and Distributed Programming