conf.researchr.org / Dominic Steinhöfel
![Dominic Steinhöfel](https://conf.researchr.org/getProfileImage/dominicsteinhofel/9dd8e7f8-dbb2-4c59-b0b9-bb3e3000e854/small.jpg?1716099748000)
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