Registered user since Wed 7 Oct 2020
Name:Albert Rubio
Country:Spain
Affiliation:Complutense University of Madrid
Personal website: https://costa.fdi.ucm.es/~arubio/
Research interests:Automated Reasoning, Constraint Solving, Program Analysis, Compilers, Blockchain technologies
Contributions
ISSTA/ECOOP 2024-profile
View general profile
View general profile