Proyecto de I+D
Proyecto TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
Financiador:
Ministerio de Educación y Ciencia
date_range
Duración del 01 de diciembre de 2002 al 31 de mayo de 2006
(42 meses)
Finalizó
euro
160.792,00 EUR
De ámbito Local.
Convocatoria:
(Ministerio de Educación y Ciencia)
Subprograma:
Migración de Proyectos GUAI (desde 2000)