Title

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Title Supplement

AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Editor(s)

Masci, Paolo

Publisher

Publication Date

2023

Series

Lecture Notes in Computer Science; 13765

ISBN

978-3-031-26235-7

978-3-031-26236-4

978-3-031-26237-1

DOI

Conference

Acronym

SEFM

AI4EA

F-IDE

CoSim-CPS

CIFMA

Language

English