![](/img/cover-not-exists.png)
Validation and Verification of Smart Contracts: A Research Agenda
Magazzeni, Daniele, McBurney, Peter, Nash, WilliamVolume:
50
Year:
2017
Language:
english
Journal:
Computer
DOI:
10.1109/MC.2017.3571045
File:
PDF, 576 KB
english, 2017