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

1

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

Publicado em 2016
Acessar documento
Dissertação