conf.researchr.org / Dominic Steinhöfel
Registered user since Sat 29 Aug 2020
Name:Dominic Steinhöfel
Country:Germany
Affiliation:Technical University of Darmstadt
Personal website: https://www.dominic-steinhoefel.de
Research interests:Software Verification, Deductive Verification, Automated Testing, Symbolic Execution
Contributions