Journal
COMPUTER
Volume 50, Issue 9, Pages 50-57Publisher
IEEE COMPUTER SOC
DOI: 10.1109/MC.2017.3571045
Keywords
-
Ask authors/readers for more resources
Smart contracts might encode legal contracts written in natural language to represent the contracting parties' shared understandings and intentions. The issues and research challenges involved in the validation and verification of smart contracts, particularly those running over blockchains and distributed ledgers, are explored.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available