David Delmas

Registered user since Fri 8 Mar 2019

Name:David Delmas
Country:France
Affiliation:Airbus
Research interests:Static Analysis, Abstract Interpretation, Program Verification

Contributions

Show activities from other conferences

SPLASH 2024-profile
View general profile