Projet de recherche
TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
date_range
Durée de 01 décembre 2002 à 31 mai 2006
(42 mois)