Ben Hermann - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Registered user since Mon 16 Jan 2017

Name:Ben Hermann

Country:Germany

Affiliation:TU Dortmund

Personal website: https://benhermann.eu

X (Twitter): https://x.com/benhermann

GitHub: https://github.com/bhermann

Contributions

2022

Unsound

Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track

Show activities from other conferences

SPLASH 2022-profile
View general profile