PAPER DETAILS
Log in
HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING
M. Todorova, D. Orozova
Event: ICERI2016
This paper is indexed in IATED Digital Library.
Session: Experiences in Undergraduate education
Session type: VIRTUAL