APA (7th ed.) Citation

Workshop on Artifical Intelligence for Engineering Applications, Workshop on Formal Integrated Development Environment, CoSim-CPS (Workshop), CIFMA (Workshop), International Conference on Software Engineering and Formal Methods, Masci, P., . . . Palmieri, M. (2023). Software engineering and formal methods -- SEFM 2022 collocated workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers. Springer.

Chicago Style (17th ed.) Citation

Workshop on Artifical Intelligence for Engineering Applications, et al. Software Engineering and Formal Methods -- SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Cham: Springer, 2023.

MLA (9th ed.) Citation

Workshop on Artifical Intelligence for Engineering Applications, et al. Software Engineering and Formal Methods -- SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Springer, 2023.