eNauka - pregled
Pregled prema Autor Kuncak, Viktor
Prikaz rezultata 1 do 3 od 3
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform | Vujošević Janičić, Milena   ; Kuncak, Viktor | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description | Vujosevic-Janicic, Milena M; Kuncak, Viktor | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Software verification and graph similarity for automated evaluation of students’ assignments | Vujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan ; Kuncak, Viktor | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |