Autori: Kuncak Viktor
| Naslov | Software verification and graph similarity for automated evaluation of students' assignments (Article) |
| Autori | Vujosevic-Janicic Milena M Nikolic Mladen  Tosic Dusan D Kuncak Viktor
|
| Info | INFORMATION AND SOFTWARE TECHNOLOGY, (2013), vol. 55 br. 6, str. 1004-1016 |
| Projekat | Serbian Ministry of Science [174021]; Swiss National Science Foundation [SCOPES IZ73Z0_127979/1]; COST Action [IC0901] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description (Proceedings Paper) |
| Autori | Vujosevic-Janicic Milena M Kuncak Viktor |
| Info | VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, (2012), vol. 7152 br. , str. 98-113 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
