Securely Optimized (Ethereum) Smart Contracts Using Formal Methods | Publicación