APLAS 2020 (series) / 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
APLAS 2020-profile
View general profile
View general profile