RT Conference Proceedings
T1 Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
A1 Albert Albiol, Elvira María
A1 Gordillo Alguacil, Pablo
A1 Hernández-Cerezo, Alejandro
A1 Rodríguez-Núñez, Clara
A1 Rubio, Albert
SN 9783031107689
SN 9783031107696
SN 0302-9743
SN 1611-3349
YR 2022
FD 2022-08-01
LK https://hdl.handle.net/20.500.14352/96669
UL https://hdl.handle.net/20.500.14352/96669
LA eng
DS Docta Complutense
RD 25 dic 2025