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