1
Assuntos:
“...Verificação Formal de Software...”
Técnicas de contração de domínio de variáveis em verificação formal e detecção de vulnerabilidades de software usando programação por restrições e aritmética intervala...
Dissertação