Ferruccio Damiani

No bio available. Add one in Open Library.

Books by Ferruccio Damiani (50 max)

+ shelf+ list

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

+ shelf+ list

Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

2004

Stefano Berardi, Mario Coppo, Ferruccio Damiani

+ shelf+ list

Coordination Models and Languages 23rd IFIP WG 6. 1 International Conference, COORDINATION 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

2021

Ferruccio Damiani, Ornela Dardha