Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Lógica Aplicada à Verificação de Programas
Documento
Visão geral
Identidade
Ver todos
Visão geral
orientado por
Roberto Lins de Carvalho
tipo
master thesis
autores
Tarcísio Haroldo Cavalcante Pequeno e Marcelino Pequeno
data de publicação
1976-01-01
Identidade
identificador BrCris
08d14445879e03a4550d8df54711c527