![Clara Benac Earle](https://icfp21.sigplan.org/getProfileImage/clarabenacearle/33092de5-f156-4009-8ca4-50671b1dd3fe/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
ICFP 2021-profile
View general profile
View general profile