Edukad projektid

eesti keeles / in English
Leidsin 1 projekti. instrument [ CA ]  koordinaator-riik [ SE ]  partner-riik [ EE

Programmid
Koordinaator-riigid
Alaprogrammid
Partner-riigid (projektides osaluse arv)
projekti nr akronüüm ja pealkiri kestus
FP6 - 510996 TYPES - Types for Proofs and Programs 2004-2008