SIGCSE TS 2023 (series) / Thomas Zeume
Not registered as user yet
Name:Thomas Zeume
Country:Germany
Affiliation:Ruhr University Bochum
Contributions
| SIGCSE TS 2023 | Discovering and quantifying misconceptions in formal methods using intelligent tutoring systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile