APLAS 2020 (series) / Dominic Steinhöfel
![Dominic Steinhöfel](https://conf.researchr.org/getProfileImage/dominicsteinhofel/4981a1f2-8558-4736-b49a-ee80a6f51719/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
APLAS 2020-profile
View general profile
View general profile