Flavio Corradini

No bio available. Add one in Open Library.

Books by Flavio Corradini (50 max)

+ shelf+ list

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

2004

Marco Bernardo, Flavio Corradini

+ shelf+ list

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

2009

Flavio Corradini, Alberto Polzonetti, Barbara Re

+ shelf+ list

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco de Nicola on the Occasion of His 65th Birthday

2019

Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese