1
法律合约与智能合约一致性综述
刘琴
王德军
王潇潇
郑绪睿
孟博
形式化模型
智能合约
合约模板
doi: 10.19734/j.issn.1001-3695.2019.12.0652