Análise de Programas Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

orientado por

• Edward Hermann Haeusler

tipo

• doctoral thesis

data de publicação

• 2000-01-01

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• Checagem de Modelo
• Semântica estrutural Modular

Identidade

identificador BrCris

• 865107e9795d7539356d2dc414b58671