Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Verificação Formal
utilizada 25 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Cláudia Nalon
Flávio Leonardo Cavalcanti de Moura
Mauricio Ayala Rincon
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Verificação Formal"
Protocolos de comunicação
Unificação de Primeira-Ordem
Verificação Formal
CTIT UFMG