Forschungsprojekt
TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
date_range
Dauer von 01 von Dezember von 2002 bis 31 von Mai von 2006
(42 Monate)