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
Published: MDPI AG 2020-12-01
Online Access: