ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
Abhinandan Pal

Registered user since Wed 31 Aug 2022

Name:Abhinandan Pal
Country:United Kingdom
Affiliation:University of Birmingham
Research interests:ML Verification, Abstract Interpretation, Model Checking

Contributions

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile