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