OtiumSessione
Sessione
Non abbiamo ancora una biografia di Antonio Cerone.
Pubblicato in Inglese
Theoretical aspects of computing
2010
Theoretical Aspects of Computing – ICTAC 2011
2011
Formal Methods for Software Engineering
2023
Theoretical Aspects of Computing - ICTAC 2021
2021
Theoretical Aspects of Computing - ICTAC 2006
2006
Software Engineering and Formal Methods
2020
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
2022
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
2018
Information Technology and Open Source
2014
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability
2014
Formal Methods - Fun for Everybody
2021
Formal Methods for an Informal World
2023