Sidney C. Nogueira, Ciprian Teodorov: Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings. Lecture Notes in Computer Science 15403, Springer 2025, ISBN 978-3-031-78115-5