Antonio Cerone

Formal Methods for an Informal

Formal Methods for an Informal World

2023

Software Engineering and Forma

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

2022

Formal Methods - Fun for Every

Formal Methods - Fun for Everybody

2021

Theoretical Aspects of Computi

Theoretical Aspects of Computing - ICTAC 2021

2021

Formal Methods for Software En

Formal Methods for Software Engineering

2020

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops

2018

Information Technology and Open Source

2014

Information Technology and Ope

Information Technology and Open Source : Applications for Education, Innovation, and Sustainability

2014

Theoretical Aspects of Computing – ICTAC 2011

2011

Theoretical Aspects of Computi

Theoretical Aspects of Computing - ICTAC 2006

2006