
Registered user since Sun 30 Oct 2016
Name:Francesco Ranzato
Country:Italy
Affiliation:University of Padova
Personal website: http://www.math.unipd.it/~ranzato/
Research interests:Abstract interpretation, Static analysis, Program verification
Contributions
2020
Static Analysis Symposium
SPLASH 2020-profile
View general profile
View general profile