Proyecto de investigación
TIN2005-09207-C03-03
METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS
date_range
Duración del 31 de diciembre de 2005 al 30 de junio de 2009
(42 meses)