|
Types for Proofs and Programs
| akronüüm: |
TYPES |
| algus: |
2004-09-01 |
| lõpp: |
2008-04-30 |
| |
| programm: |
FP6 - Euroopa Liidu 6. raamprogramm |
| alaprogramm: |
IST - Infoühiskonna tehnoloogiad |
| instrument: |
CA - Koordineerivad tegevused |
| projektikonkurss: |
FP6-2002-IST-C |
| projekti number: |
510996 |
| kestus kuudes: |
44 |
| partnerite arv: |
16 |
|
