Instituto de Computação da Ufam inicia a 26ª edição do Simpósio Brasileiro de Métodos Formais
Iniciou na segunda-feira (4), a 26ª edição do Simpósio Brasileiro de Métodos Formais (SBMF 2023), que acontece no Auditório 1 do Instituto de Computação da...
