@InProceedings{TODOROVA2017APP,
author = {Todorova, M. and Orozova, D.},
title = {APPLYING DEDUCTIVE VERIFICATION TO BACHELOR DEGREE COURSES IN PROGRAMMING},
series = {10th annual International Conference of Education, Research and Innovation},
booktitle = {ICERI2017 Proceedings},
isbn = {978-84-697-6957-7},
issn = {2340-1095},
doi = {10.21125/iceri.2017.1331},
url = {https://dx.doi.org/10.21125/iceri.2017.1331},
publisher = {IATED},
location = {Seville, Spain},
month = {16-18 November, 2017},
year = {2017},
pages = {5055-5065}}
TY - CONF
AU - M. Todorova
AU - D. Orozova
TI - APPLYING DEDUCTIVE VERIFICATION TO BACHELOR DEGREE COURSES IN PROGRAMMING
SN - 978-84-697-6957-7/2340-1095
DO - 10.21125/iceri.2017.1331
PY - 2017
Y1 - 16-18 November, 2017
CI - Seville, Spain
JO - 10th annual International Conference of Education, Research and Innovation
JA - ICERI2017 Proceedings
SP - 5055
EP - 5065
ER -
M. Todorova, D. Orozova (2017) APPLYING DEDUCTIVE VERIFICATION TO BACHELOR DEGREE COURSES IN PROGRAMMING, ICERI2017 Proceedings, pp. 5055-5065.