Proyecto de investigación
TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
date_range
Duración del 01 de diciembre de 2002 al 31 de mayo de 2006
(42 meses)