Book Title: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Book Subtitle: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
Editors: Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-26236-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Softcover ISBN: 978-3-031-26235-7Published: 11 February 2023
eBook ISBN: 978-3-031-26236-4Published: 10 February 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 420
Number of Illustrations: 86 b/w illustrations, 99 illustrations in colour
