Ikerketa proiektua
TIC2002-01167
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
date_range
Iraupena 2002(e)ko abendua-(a)k 01-(e)tik 2006(e)ko maiatza-(a)k 31-(e)ra izan da
(42 months)