%0 Conference Paper
%A Albert Albiol, Elvira María
%A Gordillo Alguacil, Pablo
%A Hernández-Cerezo, Alejandro
%A Rodríguez-Núñez, Clara
%A Rubio, Albert
%T Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
%D 2022
%@ 0302-9743
%@ 1611-3349
%U https://hdl.handle.net/20.500.14352/96669
%~