CERONE, Antonio, AUTILI, Marco, BUCAIONI, Alessio, GOMES, Cláudio, GRAZIANI, Pierluigi, PALMIERI, Maurizio, TEMPERINI, Marco und VENTURE, Gentiane (Hrsg.). 1 st ed. 2022. Cham: Springer International Publishing. ISBN 9783031124297.
Elsevier - Harvard (with titles)Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., Temperini, M., Venture, G. (Hrsg.), 2022. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Co Sim-CPS, Open CERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers, 1 st ed. 2022. ed, Lecture Notes in Computer Science. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-031-12429-7
American Psychological Association 7th editionSoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Co Sim-CPS, Open CERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers. (ca. 2022). [Cd]. In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini, & G. Venture (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2022). Springer International Publishing. https://doi.org/10.1007/978-3-031-12429-7
Springer - Basic (author-date)Cerone A, Autili M, Bucaioni A, Gomes C, Graziani P, Palmieri M, Temperini M, Venture G (Hrsg.) (2022) Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Co Sim-CPS, Open CERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers, 1 st ed. 2022. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Cerone, Antonio/ Autili, Marco/ Bucaioni, Alessio/ Gomes, Cláudio/ Graziani, Pierluigi/ Palmieri, Maurizio/ Temperini, Marco/ Venture, Gentiane (Hrsg.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Co Sim-CPS, Open CERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers, 1 st ed. 2022 , Cham 2022.