Pronađeno: 1-2 / 2 radova

Autori: Kuncak Viktor

>> Filter: Samo Article i Review

>> Sve godine

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  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
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  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX