Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts | Publicación