Browsing eNauka
Browsing by Author Naudziuniene, Daiva
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | Towards Logic-Based Verification of JavaScript Programs | Santos, Jose Fragoso; Gardner, Philippa; Maksimovic, Petar; Naudziuniene, Daiva | Конференцијски рад | Мп категорија ће бити приказана накнадно. |