Buscas alternativas:
jimple » simple (Expandir a busca), dimple (Expandir a busca), pimple (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"ESBMC-Jimple"', tempo de busca: 0,03s

1

Assuntos: “...ESBMC-Jimple...”

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

Publicado em 2024
Acessar documento
Dissertação