TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Correas, Jesús
AU  - Gordillo Alguacil, Pablo
AU  - Román-Díez, Guillermo 
AU  - Rubio, Albert
PY  - 2019
DO  - 10.1145/3293882.3338999
SN  - 978-1-4503-6224-5
UR  - https://hdl.handle.net/20.500.14352/96453
LA  - eng
M2  - 386
TI  - SAFEVM: a safety verifier for Ethereum smart contracts
TY  - conference paper
ER  -