Software Engineering and Formal Methods. SEFM 2021 Collocated WorkshopsAntonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane VentureHäftad541 kr
Software Engineering and Formal Methods. SEFM 2022 Collocated WorkshopsPaolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio PalmieriHäftad1 216 kr
Current topics in Logic and the Philosophy of Science. Papers from SILFS 2022 postgraduate conferenceFrancesco Bianchini, Vincenzo Fano, Pierluigi GrazianiHäftad244 kr