Browsing by Author Deveza, Jessé de Souza
Showing results 1 to 1 of 1
| Issue Date | Preview | Title | Author(s) | ???itemlist.dc.contributor.advisor1??? | Program | Document Type |
|---|---|---|---|---|---|---|
| 27-Mar-2024 |  | 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 | Deveza, Jessé de Souza | Rodrigues, Rosiane de Freitas | Programa de Pós-graduação em Informática | Dissertação |