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)
"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)
1
Assuntos:
“...WPTrans...”
WPTrans: um assistente para verificação de programas em Frama-C
Dissertação