Deveza, J. d. S., & http://lattes.cnpq.br/0610645582446597. (2025). 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. Universidade Federal do Amazonas.
Citação Padrão ChicagoDeveza, Jessé de Souza, and 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. Universidade Federal do Amazonas, 2025.
Citação MLADeveza, Jessé de Souza, and 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. Universidade Federal do Amazonas, 2025.