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
| Erlang 2021 | Makina: A New QuickCheck State Machine Library PC Member in Program Committee within the Erlang 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile