еНаука - преглед
Преглед према Аутор Kuncak, Viktor
Приказ резултата 1 до 3 од 3
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform | Vujošević Janičić, Milena   ; Kuncak, Viktor | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description | Vujosevic-Janicic, Milena M; Kuncak, Viktor | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |