
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 2019 | Programme Committee in Program Committee within the Erlang 2019-track Gaining Trust by Tracing Security Protocols | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile