• Sign in
  • Sign up
conf.researchr.org / Pablo Gordillo
  • ISSTA 2019 profile

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

Share
xFri 27 May 17:30
using conf.researchr.org (v1.55.6)
Support page
Sign Up