F
Flavio Corradini
3 works on record
Works
Formal Methods for the Design of Real-Time Systems
Formal Methods for the Design of Real-Time Systems
Models, Languages, and Tools for Concurrent and Distributed Programming
Models, Languages, and Tools for Concurrent and Distributed Programming
Quality Assessment of Digital Services in E-government with a Case Study in an Italian Region
Quality Assessment of Digital Services in E-government with a Case Study in an Italian Region