Registered user since Wed 20 Jan 2016
Name:Isabella Mastroeni
Country:Italy
Affiliation:University of Verona
Personal website: http://profs.scienze.univr.it/mastroeni/Welcome.html
Research interests:Static analysis, abstract interpretation, software security
Contributions
POPL 2025-profile
View general profile
View general profile