【Author】 Magazzeni, Daniele; McBurney, Peter; Nash, William
【Source】COMPUTER
【影响因子】2.256
【Abstract】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.
【Keywords】
【发表时间】2017 SEP
【收录时间】2022-01-02
【文献类型】
【主题类别】
--
【DOI】 10.1109/MC.2017.3571045
评论