A
Antonio Cerone
12 works on record
Works
Theoretical Aspects of Computing – ICTAC 2011
Theoretical aspects of computing
Information Technology and Open Source
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
Formal Methods for Software Engineering
Formal Methods for Software Engineering
Theoretical Aspects of Computing - ICTAC 2021
Theoretical Aspects of Computing - ICTAC 2021
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability
Formal Methods - Fun for Everybody
Formal Methods - Fun for Everybody
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Theoretical Aspects of Computing - ICTAC 2006
Theoretical Aspects of Computing - ICTAC 2006
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Formal Methods for an Informal World
Formal Methods for an Informal World