%0 Conference Paper
%A Albert Albiol, Elvira María
%A Correas, Jesús
%A Gordillo Alguacil, Pablo
%A Román-Díez, Guillermo 
%A Rubio, Albert
%T SAFEVM: a safety verifier for Ethereum smart contracts
%D 2019
%U https://hdl.handle.net/20.500.14352/96453
%~