"Verificação e Comprovação de erros em Códigos C usando Bounded Model Checker"
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_5d33acdb-0a48-4848-9bb2-de63a7b46185
- INFORMÁTICA Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2011-01-01
prêmio patrocinado pela
- INSTITUTO NACIONAL DE PESQUISAS DA AMAZÔNIA Organização