Ramos, Filipe, 		Roggia, Karina, E 		Silva, Rafael.
" Brzozowski’s Algorithm for Automata Minimization Verified in Coq" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)