APA Style
Lima, Lucas, Molnár, Vince. (2022).
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (1).
Switzerland:
Springer Cham.
Chicago Style
Lima, Lucas, Molnár, Vince.
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Lima, Lucas, Molnár, Vince.
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Lima, Lucas, Molnár, Vince.
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.