Albert Albiol, Elvira MaríaCorreas, JesúsGordillo Alguacil, PabloRomán-Díez, GuillermoRubio, Albert2024-01-302024-01-302019Elvira 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.3338999978-1-4503-6224-510.1145/3293882.3338999https://hdl.handle.net/20.500.14352/96453engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/conference paperhttps://doi.org/10.1145/3293882.3338999restricted accessInformática (Informática)1203.17 Informática