Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

MLA

Antonio Cerone, et al. Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops. Springer International Publishing, 2022.

APA

Antonio Cerone, A. Cerone, Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., Temperini, M., & Venture, G. (2022). Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops. Springer International Publishing.

Chicago

Antonio Cerone, 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. : Springer International Publishing, 2022.