Formal Methods : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

MLA

Campos, Sérgio, and Marius Minea. Formal Methods : 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Campos, S., & Minea, M. (2022). Formal Methods : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Cham: Springer International Publishing AG.

Chicago

Campos, Sérgio., and Marius Minea. Formal Methods : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Cham: Springer International Publishing AG, 2022.