Registered user since Fri 7 Feb 2020
Name:Enea Zaffanella
Country:Italy
Affiliation:University of Parma
Personal website: https://www.cs.unipr.it/~zaffanella/
GitHub: https://github.com/ezaffanella
Research interests:Abstract Interpretation, Abstract Domains, Static Analysis
Contributions
Using general profile