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