Tag: utilização dos métodos formais para garantir a segurança e confiabilidade
SBMF 2023: Evento chega ao fim destacando avanços e a necessidade...
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...