The European research network on types for programming and verification

akronüüm: EUTYPES
algus: 2016-03-21
lõpp: 2020-03-20
 
programm: COST - Euroopa teaduse ja tehnika alane koostöövõrk
alaprogramm: CA
projekti number: CA15123
kestus kuudes:
partnerite arv:
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
koordinaator Radboud University NL Prof Herman Geuvers
partner Tartu Ülikool EE Prof Varmo Vene
partner Tallinna Tehnikaülikool EE Dr Tarmo Uustalu