Asmae Heydari Tabar - TechDebt 2022

Tue 17 - Wed 18 May 2022 Pennsylvania, United States

co-located with ICSE 2022

Registered user since Thu 25 Mar 2021

Name:Asmae Heydari Tabar

Country:Germany

Affiliation:Technical University of Darmstadt

Research interests:Formal Verification

Contributions

2022

FormaliSE

Automatic Loop Invariant Generation for Data Dependence Analysis

Show activities from other conferences

ICSE 2022-profile
View general profile