Antonio Cerone profile picture

Antonio Cerone

Is this your author profile? Create an account to customize it!

Stand Alone

Theoretical Aspects of Computing – ICTAC 2011
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers