Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani.
Published by Springer International Publishing AG, (2022), Paperback, 350 pages.