Not registered as user yet

Name:Cecilia di Florio
Affiliation:University of Bologna

Contributions

POPL 2023 Elements of Quantitative Rewriting
Show activities from other conferences

Using general profile