Edukad projektid

Leidsin 1 projekti. instrument [ CA ] koordinaator-riik [ SE ] otsingusõna [ TALLINNA TEHNIKAÜLIKOOL ]

Programmid

Koordinaator-riigid

Alaprogrammid

Instrumendid

Partner-riigid (projektides osaluse arv)

projekti nr	akronüüm ja pealkiri	kestus
FP6 - 510996	TYPES - Types for Proofs and Programs	2004-2008