%0 Conference Paper %1 conf/educon/ArifiZB16 %A Arifi, Sara Mernissi %A Zahi, Azeddine %A Benabbou, Rachid %B EDUCON %D 2016 %I IEEE %K dblp %P 826-833 %T Semantic similarity based evaluation for C programs through the use of symbolic execution. %U http://dblp.uni-trier.de/db/conf/educon/educon2016.html#ArifiZB16 %@ 978-1-4673-8633-3

@inproceedings{conf/educon/ArifiZB16, added-at = {2024-10-06T00:00:00.000+0200}, author = {Arifi, Sara Mernissi and Zahi, Azeddine and Benabbou, Rachid}, biburl = {https://www.bibsonomy.org/bibtex/203fa120d7d53d8099e32c3aee9ada6f0/dblp}, booktitle = {EDUCON}, crossref = {conf/educon/2016}, ee = {https://doi.org/10.1109/EDUCON.2016.7474648}, interhash = {85c2cb210e4c9a6b69596eba7c7604de}, intrahash = {03fa120d7d53d8099e32c3aee9ada6f0}, isbn = {978-1-4673-8633-3}, keywords = {dblp}, pages = {826-833}, publisher = {IEEE}, timestamp = {2024-10-07T09:07:45.000+0200}, title = {Semantic similarity based evaluation for C programs through the use of symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/educon/educon2016.html#ArifiZB16}, year = 2016 }