Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. - Marko Schmellenkamp; Alexandra Latys; Thomas Zeume (SIGCSE (1), 2023)