APA (7th ed.) Citation

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 Style (17th ed.) Citation

Cerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, and 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 (9th ed.) Citation

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.