Antonio Cerone
AuthID: R-00H-6M2
1
TITLE: Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
AUTHORS: Antonio Cerone; Marco Roveri;
PUBLISHED: 2018, SOURCE: SEFM Workshops, VOLUME: 10729
AUTHORS: Antonio Cerone; Marco Roveri;
PUBLISHED: 2018, SOURCE: SEFM Workshops, VOLUME: 10729
INDEXED IN:
DBLP
2
TITLE: Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers
AUTHORS: Antonio Cerone; Donatella Persico; Sara Fernandes; Alexeis Garcia Perez; Panagiotis Katsaros; Siraj Ahmed Shaikh; Ioannis Stamelos;
PUBLISHED: 2014, SOURCE: SEFM Satellite Events, VOLUME: 7991
AUTHORS: Antonio Cerone; Donatella Persico; Sara Fernandes; Alexeis Garcia Perez; Panagiotis Katsaros; Siraj Ahmed Shaikh; Ioannis Stamelos;
PUBLISHED: 2014, SOURCE: SEFM Satellite Events, VOLUME: 7991
INDEXED IN:
DBLP