You are about to access our book library "Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings (Lecture Notes in Computer Science Book 16363) full version" .