Behavioural Types for Reliable Large-Scale Software Systems

akronüüm: BETTY
algus: 2012-10-26
lõpp: 2016-10-25
 
programm: COST - Euroopa teaduse ja tehnika alane koostöövõrk
alaprogramm: ICT
projekti number: IC1201
kestus kuudes:
partnerite arv:
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
koordinaator University of Glasgow UK Prof Simon GAY
partner Tallinna Tehnikaülikool EE Dr Tarmo Uustalu