Edward Sabinus - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Mon 20 Apr 2026

Name:Edward Sabinus

Country:Germany

Affiliation:Martin-Luther-University Halle-Wittenberg

Contributions

2026

FM

Automatic Assessment and Feedback on Undergraduates’ Structural Induction Proofs

Show activities from other conferences

FM 2026-profile
View general profile