%0 Journal Article %1 journals/corr/Vujosevic-Janicic12 %A Vujosevic-Janicic, Milena %A Nikolic, Mladen %A Tosic, Dusan %A Kuncak, Viktor %D 2012 %J CoRR %K %T Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments. %U http://dblp.uni-trier.de/db/journals/corr/corr1206.html#Vujosevic-Janicic12 %V abs/1206.7064

@article{journals/corr/Vujosevic-Janicic12, added-at = {2023-12-13T02:23:12.000+0100}, author = {Vujosevic-Janicic, Milena and Nikolic, Mladen and Tosic, Dusan and Kuncak, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/2189501a9a0032283b1dd81280bf54de2/admin}, ee = {http://arxiv.org/abs/1206.7064}, interhash = {7e8a964ebd58fb0cbb57c3fd2fb39caf}, intrahash = {189501a9a0032283b1dd81280bf54de2}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:23:12.000+0100}, title = {Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1206.html#Vujosevic-Janicic12}, volume = {abs/1206.7064}, year = 2012 }