Ferruccio Damiani - Böcker

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

Active Object Languages: Current Research Trends

Integrated Formal Methods

20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings

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

Types for Proofs and Programs

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Types for Proofs and Programs

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers