Buscas alternativas:
"wptrans" » "cwptrans" (Expandir a busca), "sptrans" (Expandir a busca), "iptrans" (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"wptrans"', tempo de busca: 0,04s

1

Assuntos: “...WPTrans...”

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

Publicado em 2016
Acessar documento
Dissertação