Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Subtitle: AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2023
Language: eng
ISBN-13: 9783031262357