Write a Blog >>

Registered user since Wed 13 Nov 2019

Name:Roberta Gori
Country:Italy
Affiliation:University of Pisa

Contributions

POPL 2020 Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations
Show activities from other conferences

POPL 2020-profile
View general profile