@InProceedings{TODOROVA2013APP,
author = {Todorova, M.},
title = {APPLYING PROGRAM VERIFICATION METHODS IN SOFTWARE SPECIALISTS EDUCATION},
series = {7th International Technology, Education and Development Conference},
booktitle = {INTED2013 Proceedings},
isbn = {978-84-616-2661-8},
issn = {2340-1079},
publisher = {IATED},
location = {Valencia, Spain},
month = {4-5 March, 2013},
year = {2013},
pages = {6260-6270}}
TY - CONF
AU - M. Todorova
TI - APPLYING PROGRAM VERIFICATION METHODS IN SOFTWARE SPECIALISTS EDUCATION
SN - 978-84-616-2661-8/2340-1079
PY - 2013
Y1 - 4-5 March, 2013
CI - Valencia, Spain
JO - 7th International Technology, Education and Development Conference
JA - INTED2013 Proceedings
SP - 6260
EP - 6270
ER -
M. Todorova (2013) APPLYING PROGRAM VERIFICATION METHODS IN SOFTWARE SPECIALISTS EDUCATION, INTED2013 Proceedings, pp. 6260-6270.