Memorias de investigación
Proyecto de I+D+i:
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Proyecto Tipo A (5 anyos) 2008-05624/TIN
Internacional
No
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
MICINN
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Pequeña Empresa (11-50)
Fecha concesión
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)