Projecte d'investigació
TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
date_range
Duració del 01 de de desembre de 2002 al 31 de de maig de 2006
(42 mesos)