English
Intermediate
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)
Sérgio Campos (editor),Marius Minea (editor)
2021
View book