Albert Rubio -

Not registered as user yet

Name:Albert Rubio

Contributions

ISSTA 2019	Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track
FSCD 2017	Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track