Tag: SBMF 2023: Evento chega ao fim destacando avanços e a necessidade da utilização

Na sexta-feira (8), a 26ª edição do Simpósio Brasileiro de Métodos Formais (SBMF 2023), realizado pelo Instituto de Computação da Universidade Federal do Amazonas...