Front Matter

  • Haniel Barbosa UFMG
  • Yoni Zohar Bar-Ilan University

Resumo


Este documento traz o front matter dos Anais do SBMF 2023.

Publicado
04/12/2023
Como Citar

Selecione um Formato
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.