Validation and Verification of Smart Contracts: A Research Agenda[J] COMPUTER 2017(50) Magazzeni, Daniele McBurney, Peter Nash, William
