SPLASH 2020 (series) / Albert Rubio

Registered user since Wed 7 Oct 2020
Name: Albert Rubio
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
SPLASH 2020 | Taming Callbacks for Smart Contract Modularity | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile