Leidsin 1 projekti. instrument [ CP-IP ]  otsingusõna [ UNIVERSIDAD POLITECNICA DE MADRID ]

Programmid
Koordinaator-riigid
Alaprogrammid
Partner-riigid (projektides osaluse arv)
projekti nr akronüüm ja pealkiri kestus
FP7 - 231620 HATS - Highly Adaptable and Trustworthy Software using Formal Models 2009-2013