Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wolf Zimmermann
conf.researchr.org general profile
ESOCC 2025 profile
ICSE 2025 profile
Not registered as user
Name:
Wolf Zimmermann
Country:
Germany
Affiliation:
Martin-Luther-University Halle-Wittenberg
Contributions
2025
CSEE&T
Author of Automatic Assessment of Structural Induction Proofs for Undergraduate Computer Science Courses within the Software Engineering Education-track
ESOCC
Committee Member in Program committee within the ESOCC-track
Share
x
Tue 28 Oct 10:54