Gaspar Ricci -

Registered user since Thu 29 Aug 2024

Name:Gaspar Ricci

Country:Chile

Affiliation:University of Chile

Personal website: https://pleiad.cl/people/gricci

Contributions

2024

Unsound

Author of Taming Unsoundness with Gradual Abstract Interpretation within the UNSOUND 2024-track