Antonio Cerone · 12 obras en el catálogoObrasTheoretical aspects of computingTheoretical Aspects of Computing – ICTAC 2011Information Technology and Open SourceFFormal Methods for Software EngineeringFormal Methods for Software EngineeringSoftware Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsTTheoretical Aspects of Computing - ICTAC 2021Theoretical Aspects of Computing - ICTAC 2021IInformation Technology and Open Source : Applications for EdInformation Technology and Open Source : Applications for Education, Innovation, and SustainabilityFFormal Methods - Fun for EverybodyFormal Methods - Fun for EverybodyTTheoretical Aspects of Computing - ICTAC 2006Theoretical Aspects of Computing - ICTAC 2006SSoftware Engineering and Formal MethodsSoftware Engineering and Formal MethodsSSoftware Engineering and Formal Methods. SEFM 2021 CollocateSoftware Engineering and Formal Methods. SEFM 2021 Collocated WorkshopsFFormal Methods for an Informal WorldFormal Methods for an Informal World
IInformation Technology and Open Source : Applications for EdInformation Technology and Open Source : Applications for Education, Innovation, and Sustainability
SSoftware Engineering and Formal Methods. SEFM 2021 CollocateSoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops
