H. Barbosa and Y. Zohar.
" Front Matter", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. i-xxii.