Proyecto de I+D
Projet TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
Financeur:
Ministerio de Educación y Ciencia
date_range
Durée de 01 décembre 2002 à 31 mai 2006
(42 mois)
Fini
euro
160 792,00 EUR
Sphère Local.
Annonce:
(Ministerio de Educación y Ciencia)
Sous-programme:
Migración de Proyectos GUAI (desde 2000)