Blogs (18) >>

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