eNauka - pregled
Pregled prema Autor Jelena Vidaković
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | Unapređenje jezika P4 izrazima assume i assert kao pomoć u formalnoj verifikaciji | Enisa Hadžić; Jelena Vidaković; Dinić, Miodrag D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Unapređenje programskog prevodioca za jezik P4 sa podrškom za čitanje međukoda u formatu JSON | Jelena Vidaković; Enisa Hadžić; Dinić, Miodrag D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |