RT Conference Proceedings
T1 SAFEVM: a safety verifier for Ethereum smart contracts
A1 Albert Albiol, Elvira María
A1 Correas, Jesús
A1 Gordillo Alguacil, Pablo
A1 Román-Díez, Guillermo
A1 Rubio, Albert
SN 978-1-4503-6224-5
YR 2019
FD 2019
LK https://hdl.handle.net/20.500.14352/96453
UL https://hdl.handle.net/20.500.14352/96453
LA eng
NO Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. 2019. SAFEVM: a safety verifier for Ethereum smart contracts. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019). Association for Computing Machinery, New York, NY, USA, 386–389. https://doi.org/10.1145/3293882.3338999
DS Docta Complutense
RD 8 abr 2025