Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.

Marko Schmellenkamp, Alexandra Latys, Thomas Zeume

Browse the full SIGCSE paper archive.