
Registered user since Mon 7 Dec 2015
Name: Steven Schäfer
Country: Germany
Affiliation: Saarland University
Personal website: https://www.ps.uni-saarland.de/~schaefer/
Research interests: Formal Verification, Interactive Theorem Proving, Compiler Construction
Contributions
POPL 2019-profile
View general profile
View general profile