Not registered as user yet

Name:Cezar-Constantin Andrici
Affiliation:Alexandru Ioan Cuza University of Iasi

Contributions

ICFP 2020 Author of Gradual Enforcement of IO Trace Properties within the Student Research Competition-track