A finer module system for the ABS language
Todurov, Elmo; Nakata, Keiko (2012). A finer module system for the ABS language. 24th Nordic Workshop on Programming Theory, NWPT 2012, Bergen, Norway, 31 October - 2 November 2012, Abstracts. Bergen: University of Bergen, 1−3. (Reports in Informatics; 403).
publitseeritud konverentsiettekanne
Todurov, Elmo; Nakata, Keiko
- Inglise
24th Nordic Workshop on Programming Theory, NWPT 2012, Bergen, Norway, 31 October - 2 November 2012, Abstracts
Bergen
University of Bergen
0333-3590
Reports in Informatics
403
2012
1–3
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1
Teadmata
Viited terviktekstile
Seotud asutused
Lisainfo
- HATS (231620) "Highly Adaptive and Trustworthy Software Using Formal Models - HATS" (1.05.2010−28.02.2013); Vastutav täitja: Tarmo Uustalu; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut (partner); Finantseerija: Euroopa Komisjon; Eraldatud summa: 216 746 EUR.
- SF0140007s12 "Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad" (1.01.2012−31.12.2014); Vastutav täitja: Tarmo Uustalu; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Finantseerija: Haridus- ja Teadusministeerium; Eraldatud summa: 514 620 EUR.