Tag: para garantir a segurança e confiabilidade

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