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,07s

1

Assuntos: “...WPTrans...”

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

Publicado em 2016
Acessar documento
Dissertação