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