Buscas alternativas:
"cwptrans" » "cwpwptrans" (Expandir a busca), "sptrans" (Expandir a busca), "cetrans" (Expandir a busca), "csptrans" (Expandir a busca), "ciptrans" (Expandir a busca), "cleptrans" (Expandir a busca)
"wptrans" » "sptrans" (Expandir a busca), "iptrans" (Expandir a busca), "leptrans" (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '("cwptrans" OR "wptrans")', tempo de busca: 0,36s

1

Assuntos: “...WPTrans...”

WPTrans: um assistente para verificação de programas em Frama-C

Publicado em 2016
Acessar documento
Dissertação