Browsing eNauka
Browsing by Author Kuncak, Viktor
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform | Vujošević Janičić, Milena   ; Kuncak, Viktor | Conference Paper | Mp. category will be shown later |
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description | Vujosevic-Janicic, Milena M; Kuncak, Viktor | Conference Paper | Mp. category will be shown later |
| 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 | Article | 21M21 |