Outros Autores: “...http://lattes.cnpq.br/0610645582446597...”

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...