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

1

Assuntos: “...WPTrans...”

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

Publicado em 2016
Acessar documento
Dissertação