Proceedings

• Sidney C. Nogueira, Ciprian Teodorov, editors, Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings. Volume 15403 of Lecture Notes in Computer Science, Springer, 2025.