Proxecto de investigación
TIN2005-09207-C03-03
METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS
date_range
Duración do 31 de decembro de 2005 ao 30 de xuño de 2009
(42 meses)