%0 Thesis
%T 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
%U https://tede.ufam.edu.br/handle/tede/10636
%I Universidade Federal do Amazonas