1
Formal Methods for an Informal World [E-Book] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures /
Other Personal Name(s): “...Cerone, Antonio...”

Full text 
Favorites
Saved in:
2
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /
Other Personal Name(s): “...Cerone, Antonio...”

Full text 
Favorites
Saved in:
3
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [E-Book] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers /
Other Personal Name(s): “...Cerone, Antonio...”

Full text 
Favorites
Saved in:
4
Formal Methods - Fun for Everybody [E-Book] : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers /
Other Personal Name(s): “...Cerone, Antonio...”

Full text 
Favorites
Saved in:
5
Theoretical Aspects of Computing - ICTAC 2021 [E-Book] : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings /
Other Personal Name(s): “...Cerone, Antonio...”

Full text 
Favorites
Saved in:
6
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability [E-Book] : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers /
Other Personal Name(s): “...Cerone, Antonio....”

Full text 
Favorites
Saved in:
7
Theoretical Aspects of Computing – ICTAC 2011 [E-Book] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings /
Other Personal Name(s): “...Cerone, Antonio....”

Full text 
Favorites
Saved in:
8
Theoretical Aspects of Computing - ICTAC 2006 [E-Book] / Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings
Other Personal Name(s): “...Cerone, Antonio...”

Full text 
Favorites
Saved in: