Dominic Steinhöfel

Registered user since Sat 29 Aug 2020

Name:Dominic Steinhöfel
Country:Germany
Affiliation:Technical University of Darmstadt
Research interests:Software Verification, Deductive Verification, Automated Testing, Symbolic Execution

Contributions

APLAS 2020 Author of REFINITY to Model and Prove Program Transformation Rules within the Research Papers-track