English
Intermediate
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science)
Haniel Barbosa (editor),Yoni Zohar (editor)
2023
View book