Smart Contract Engineering

A smart contract is the algorithmic description of a contractual transaction protocol that is automatically executed together with the information provided by its parties. It is written in a simplified programming language that is specific to a particular domain. Not only correctness and unambiguity...

Full description

Bibliographic Details
Main Authors: Kai Hu, Jian Zhu, Yi Ding, Xiaomin Bai, Jiehua Huang
Format: Article
Language:English
Published: MDPI AG 2020-12-01
Series:Electronics
Subjects:
Online Access:https://www.mdpi.com/2079-9292/9/12/2042