Formal Verification of Smart Contracts: Short Paper
Making Smart Contracts Smarter