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
2025
Symposium on Practical Aspects of Declarative Languages
Using general profile