eNauka - pregled
Pregled prema Projekat EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems [EP/K008528/1]
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | Towards Logic-Based Verification of JavaScript Programs | Santos, Jose Fragoso; Gardner, Philippa; Maksimovic, Petar; Naudziuniene, Daiva | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |