Registered user since Wed 17 Jul 2019

Name:Pablo Gordillo
Country:Spain
Affiliation:Complutense University of Madrid
Research interests:Ethereum, static analysis, verification

Contributions