Barbosa, Haniel, & Yoni Zohar.
" Front Matter." <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (2023): i-xxii. Web. 17 mai. 2024