![Clara Benac Earle](https://icfp23.sigplan.org/getProfileImage/clarabenacearle/451279b1-a941-4c32-8bd1-7e95662770ca/small.jpg?1711543037000)
Registered user since Wed 8 Mar 2017
Name:Clara Benac Earle
Country:Spain
Affiliation:Universidad Politécnica de Madrid
Personal website: http://babel.ls.fi.upm.es/~cbenac/
Research interests:Formal Methods, Property-based Testing
Contributions
2023
ICFP 2023-profile
View general profile
View general profile