S. Nogueira and C. Teodorov.
" Front Matter", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. i-xv.