TY - JOUR AU - Milena Vujošević Janičić AU - Filip Marić TI - Regression Verification for Automated Evaluation of Students Programs JO - Computer Science and Information Systems PY - 2020 VL - 17 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a11/ ID - CSIS_2020_17_1_a11 ER -