Construção da Semântica de Programas Fluxogramáveis
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
execução simbólica de programas
-
tradução de programas para fórmulas lógicas
Identidade
identificador BrCris
-
315cbe8441633bd690410e00dce9a820