Alessio Bucaioni profile picture

Alessio Bucaioni

Is this your author profile? Create an account to customize it!

Stand Alone

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers