Um Framework para Análise e Verificação de Programas
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- INFORMÁTICA Programa de Pós-Graduação
tipo
- doctoral thesis
data de publicação
- 2000-01-01