Registered user since Thu 25 Mar 2021
Name:Asmae Heydari Tabar
Country:Germany
Affiliation:Technical University of Darmstadt
Research interests:Formal Verification
Contributions
ICSE 2022-profile
View general profile
View general profile
Registered user since Thu 25 Mar 2021
Contributions