@InProceedings{TODOROVA2017VER,
author = {Todorova, M. and Orozova, D.},
title = {VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTORY COURSES IN FUNCTIONAL PROGRAMMING},
series = {11th International Technology, Education and Development Conference},
booktitle = {INTED2017 Proceedings},
isbn = {978-84-617-8491-2},
issn = {2340-1079},
doi = {10.21125/inted.2017.1930},
url = {http://dx.doi.org/10.21125/inted.2017.1930},
publisher = {IATED},
location = {Valencia, Spain},
month = {6-8 March, 2017},
year = {2017},
pages = {8195-8203}}
TY - CONF
AU - M. Todorova
AU - D. Orozova
TI - VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTORY COURSES IN FUNCTIONAL PROGRAMMING
SN - 978-84-617-8491-2/2340-1079
DO - 10.21125/inted.2017.1930
PY - 2017
Y1 - 6-8 March, 2017
CI - Valencia, Spain
JO - 11th International Technology, Education and Development Conference
JA - INTED2017 Proceedings
SP - 8195
EP - 8203
ER -
M. Todorova, D. Orozova (2017) VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTORY COURSES IN FUNCTIONAL PROGRAMMING, INTED2017 Proceedings, pp. 8195-8203.