APA Style
Cerone, Antonio, Autili, Marco, Bucaioni, Alessio, Gomes, Cláudio, Graziani, Pierluigi, Palmieri, Maurizio. (2022).
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (1).
Switzerland:
Springer Cham.
Chicago Style
Cerone, Antonio, Autili, Marco, Bucaioni, Alessio, Gomes, Cláudio, Graziani, Pierluigi, Palmieri, Maurizio.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Cerone, Antonio, Autili, Marco, Bucaioni, Alessio, Gomes, Cláudio, Graziani, Pierluigi, Palmieri, Maurizio.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Cerone, Antonio, Autili, Marco, Bucaioni, Alessio, Gomes, Cláudio, Graziani, Pierluigi, Palmieri, Maurizio.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.