Educational Process Mining for Verifying Student Learning Paths in an Introductory Programming Course | IEEE Conference Publication | IEEE Xplore