Teixeira, Leopoldo, E 		ter Beek, Maurice.
" Front Matter" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)