Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

MLA

Lima, Lucas, and Vince Molnár. Formal Methods : 25th Brazilian Symposium, Sbmf 2022, Virtual Event, December 6-9, 2022, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Lima, L., & Molnár, V. (2023). Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Lima, Lucas., and Vince Molnár. Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Cham: Springer International Publishing AG, 2023.