Formal Verification of Object-Oriented Software

akronüüm:
algus: 2007-12-17
lõpp: 2012-03-10
 
programm: COST - Euroopa teaduse ja tehnika alane koostöövõrk
alaprogramm: IC - Info- ja kommunikatsioonitehnoloogiad
projekti number: IC0701
kestus kuudes:
partnerite arv:
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
koordinaator DE
partner Tallinna Tehnikaülikool EE Tarmo Uustalu http://www.ttu.ee