Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Full text!
Format:
e-book
Title:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Author:
Masci, Paolo.; Bernardeschi, Cinzia; Graziani, Pierluigi; Koddenbrock, Mario; Palmieri, Maurizio
Language:
English
Publisher:
Cham Springer International Publishing AG 2023
ISBN:
3-031-26235-2
3-031-26236-0
Permalink:
http://bibtest.howest.be/catalog/ebk03:26155071400041?locale=en