@InProceedings{TODOROVA2016HOW,
author = {Todorova, M. and Orozova, D.},
title = {HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING},
series = {9th annual International Conference of Education, Research and Innovation},
booktitle = {ICERI2016 Proceedings},
isbn = {978-84-617-5895-1},
issn = {2340-1095},
doi = {10.21125/iceri.2016.1997},
url = {https://dx.doi.org/10.21125/iceri.2016.1997},
publisher = {IATED},
location = {Seville, Spain},
month = {14-16 November, 2016},
year = {2016},
pages = {4249-4256}}
TY - CONF
AU - M. Todorova
AU - D. Orozova
TI - HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING
SN - 978-84-617-5895-1/2340-1095
DO - 10.21125/iceri.2016.1997
PY - 2016
Y1 - 14-16 November, 2016
CI - Seville, Spain
JO - 9th annual International Conference of Education, Research and Innovation
JA - ICERI2016 Proceedings
SP - 4249
EP - 4256
ER -
M. Todorova, D. Orozova (2016) HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING, ICERI2016 Proceedings, pp. 4249-4256.