Nogueira, Sidney, E 		Teodorov, Ciprian.
" Front Matter" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)