Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings Book Discussion
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science, 13768)
by
