Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Subtitle: CIFMA, Cosim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783031124280