Front Matter
Resumo
Front Matter dos Anais do XXV Simpósio Brasileiro de Métodos Formais.
Publicado
04/12/2023
Como Citar
BARBOSA, Haniel; ZOHAR, Yoni.
Front Matter. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 26. , 2023, Manaus/AM.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2023
.
p. i-xxii.