TY  - RPRT
TI  - SAFEVM: A Safety Verifier for Ethereum Smart Contracts
AU  - Elvira Albert
AU  - Jesús Correas
AU  - Pablo Gordillo
AU  - Guillermo Román-Díez
AU  - Albert Rubio
PY  - 2019
UR  - https://arxiv.org/abs/1906.04984
ID  - 1906.04984
ER  -