ZEUS: Analyzing Safety of Smart Contracts
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab