Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., . . . Venture, G. (2022). Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (1st ed. 2022.). Springer International Publishing. https://doi.org/10.1007/978-3-031-12429-7
Chicago-Zitierstil (17. Ausg.)Cerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, und Gentiane Venture. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers. 1st ed. 2022. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-12429-7.
MLA-Zitierstil (9. Ausg.)Cerone, Antonio, et al. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers. 1st ed. 2022. Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-12429-7.