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