Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
cwpwptrans
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: cwpwptrans
Buscas alternativas
:
cwpwptrans »
cwptrans
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
cwpwptrans
'
, tempo de busca: 0,04s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
WPTrans: um assistente para verificação de programas em Frama-C
Por
Almeida, Vítor Alcântara de
Publicado em 2016
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
1
Bases coletadas
Repositório Institucional da UFRN
1
Programa de Pós-Graduação
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
1
Autor
Almeida, Vítor Alcântara de
1
Orientador(a)
Deharbe, David Boris Paul
1
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
Coq
1
Frama-C
1
Obrigação de prova
1
SMT
1
WP
1
WPTrans
1
Área do conhecimento CNPq
SISTEMAS DE COMPUTACAO
1
Ano da publicação
De:
Até:
Carregando...
