Front Matter

  • Haniel Barbosa UFMG
  • Yoni Zohar Bar-Ilan University

Resumo


Front Matter dos Anais do XXV Simpósio Brasileiro de Métodos Formais.

Publicado
04/12/2023
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.