Using process mining for Git log analysis of projects in a software development course. - Martin Macák; Daniela Kruzelova; Stanislav Chren; Barbora Buhnova (Educ. Inf. Technol., 2021)