conf.researchr.org / 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
Registered user since Wed 31 Aug 2022
Contributions