Front Matter

  • Leopoldo Teixeira Universidade Federal de Pernambuco
  • Maurice ter Beek Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” / CNR

Resumo


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

Publicado
03/12/2025
Como Citar

Selecione um Formato
TEIXEIRA, Leopoldo; TER BEEK, Maurice. Front Matter. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 28. , 2025, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. i-xviii.