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 Damiani Ferruccio Heftet / 2021 / Engelsk
Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Beckert Bernhard Heftet / 2012 / Engelsk
Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers Berardi Stefano Heftet / 2004 / Engelsk
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers Berardi Stefano Heftet / 2009 / Engelsk
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 Bernardo Marco Heftet / 2014 / Engelsk
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Beckert Bernhard Heftet / 2013 / Engelsk
