conf.researchr.org / Pablo Gordillo
Not registered as user yet
Name:Pablo Gordillo
Contributions
| ISSTA 2019 | Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track |
Not registered as user yet
Contributions
| ISSTA 2019 | Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track |