BARBOSA, Haniel; 						ZOHAR, Yoni.
 Front Matter.
<strong>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</strong>, [S.l.], p. i-xxii, dez. 2023.
ISSN 0000-0000.
Disponível em: &lt;<a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28042" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28042</a>&gt;. Acesso em: 17 maio 2024.