Marco Autili
AuthID: R-00K-E1B
1
TITLE: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
AUTHORS: Antonio Cerone; Marco Autili; Alessio Bucaioni; Cláudio Gomes; Pierluigi Graziani; Maurizio Palmieri; Marco Temperini; Gentiane Venture;
PUBLISHED: 2022, SOURCE: SEFM Workshops, VOLUME: 13230
AUTHORS: Antonio Cerone; Marco Autili; Alessio Bucaioni; Cláudio Gomes; Pierluigi Graziani; Maurizio Palmieri; Marco Temperini; Gentiane Venture;
PUBLISHED: 2022, SOURCE: SEFM Workshops, VOLUME: 13230
INDEXED IN: 
DBLP
DBLP