Browsing eNauka
Browsing by Project EPSRC DTA award
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 | Conference Paper | Mp. category will be shown later |