TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Gordillo Alguacil, Pablo
AU  - Hernández-Cerezo, Alejandro
AU  - Rodríguez-Núñez, Clara
AU  - Rubio, Albert
PY  - 2022
DO  - 10.1007/978-3-031-10769-6_1
SN  - 9783031107689
SN  - 9783031107696
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/96669
LA  - eng
M2  - 3
TI  - Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
TY  - conference paper
ER  -