Buscas alternativas:
"iptrans" » "sptrans" (Expandir a busca), "itrans" (Expandir a busca), "dipterans" (Expandir a busca)
Exportação concluída — 
Mostrando 1 - 1 resultados de 1 para a busca '("wptrans" OR "iptrans")', tempo de busca: 0,08s

1

Assuntos: “...WPTrans...”

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

Publicado em 2016
Acessar documento
Dissertação