|
Types for Proofs and Programs
| acronym: |
TYPES |
| start: |
2004-09-01 |
| end: |
2008-04-30 |
| |
| programme: |
FP6 - Euroopa Liidu 6. raamprogramm |
| sub-programme: |
IST - Infoühiskonna tehnoloogiad |
| instrument: |
CA - Koordineerivad tegevused |
| call identifier: |
FP6-2002-IST-C |
| project number: |
510996 |
| duration in months: |
44 |
| partner count: |
16 |
|
