PAPER DETAILS
Log in
VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTORY COURSES IN FUNCTIONAL PROGRAMMING
M. Todorova, D. Orozova
Event: INTED2017
This paper is indexed in IATED Digital Library.
Session: Enhancing learning and the undergraduate experience
Session type: VIRTUAL