Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2008
Tipos Asserção para Programação Centrada em Objectos
PTDC/EIA-CCO/105359/2008
-
Área Científica Principal
-
Engenharia Informática - Ciências da Computação
-
Palavras Chave
-
Linguagens de Programação
-
Lógicas e Sistemas de Tipos
-
Segurança em Tempo de Execução
-
Verificação Estática e Dinâmica
-
Financiamento
- €
74 175,00
Instituição do projecto não encontradas