conf.researchr.org / Diletta Rigo
Registered user since Tue 30 Sep 2025
Name:Diletta Rigo
Country:Italy
Affiliation:Dipartimento di Matematica, University of Padova, Italy
Personal website: https://sites.google.com/view/dilettarigo/
Research interests:Abstract Interpretation, Program Logics, Model Checking
Contributions