![Clara Benac Earle](https://icfp22.sigplan.org/getProfileImage/clarabenacearle/447f5eb8-d5b8-4fab-8927-76711e9a8c15/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
2022
ICFP 2022-profile
View general profile
View general profile