Proxecto 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 do 01 de decembro de 2002 ao 31 de maio de 2006
(42 meses)