Antonio Cerone
Antonio Cerone
8 books in the database
Books
Information Technology and Open SourceAntonio Cerone
Information Technology and Open Source
Antonio Cerone · 2014
Theoretical Aspects of Computing – ICTAC 2011Antonio Cerone
Theoretical Aspects of Computing – ICTAC 2011
Antonio Cerone · 2011
Formal Methods for an Informal WorldAntonio Cerone
Formal Methods for an Informal World
Antonio Cerone · 2023
Software Engineering and Formal Methods. SEFM 2021 Collocated WorkshopsAntonio Cerone
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Antonio Cerone · 2022
Theoretical Aspects of Computing - ICTAC 2021Antonio Cerone
Theoretical Aspects of Computing - ICTAC 2021
Antonio Cerone · 2021
Formal Methods - Fun for EverybodyAntonio Cerone
Formal Methods - Fun for Everybody
Antonio Cerone · 2021
Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsAntonio Cerone
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
Antonio Cerone · 2018
Information Technology and Open Source : Applications for Education, Innovation, and SustainabilityAntonio Cerone
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability
Antonio Cerone · 2014
Co-authored books and collections
Books that list Antonio Cerone among their authors but not as the lead author: co-written works, collections and compilations.
Theoretical aspects of computingKamel Barkaoui
Theoretical aspects of computing
Kamel Barkaoui · 2006
Formal Methods for Software EngineeringMarkus Roggenbach
Formal Methods for Software Engineering
Markus Roggenbach · 2023
Software Engineering and Formal MethodsFrank de Boer
Software Engineering and Formal Methods
Frank de Boer · 2020
Theoretical Aspects of Computing - ICTAC 2006Kamel Barkaoui
Theoretical Aspects of Computing - ICTAC 2006
Kamel Barkaoui · 2006