Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Dominic Steinhöfel

Registered user since Sat 29 Aug 2020

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


APLAS 2020 REFINITY to Model and Prove Program Transformation Rules
Show activities from other conferences

APLAS 2020-profile
View general profile