2026-06-27T13:54:12Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/964532025-03-18T14:26:09Zcom_20.500.14352_14col_20.500.14352_15

Albert Albiol, Elvira María Correas, Jesús Gordillo Alguacil, Pablo Román-Díez, Guillermo Rubio, Albert 2024-01-30T11:59:55Z 2024-01-30T11:59:55Z 2019 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 978-1-4503-6224-5 10.1145/3293882.3338999 https://hdl.handle.net/20.500.14352/96453 https://doi.org/10.1145/3293882.3338999 eng http://creativecommons.org/licenses/by-nc-nd/4.0/ restricted access Attribution-NonCommercial-NoDerivatives 4.0 International SAFEVM: a safety verifier for Ethereum smart contracts conference paper