![Asmae Heydari Tabar](https://conf.researchr.org/getProfileImage/asmaeheydaritabar/4fbe421e-ba80-4cc2-9751-64bcca39adde/small.jpg?1711609411000)
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