Ramos, Filipe, Karina Girardi Roggia, and Rafael Castro G. Silva.
" Brzozowski’s Algorithm for Automata Minimization Verified in Coq." <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.107-119.