T/CIE 095-2020 区块链智能合约形式化表达
标准名称：区块链智能合约形式化表达
发布日期：2020-12-21
实施日期：2021-01-01
标准编号：T/CIE 095-2020
标准状态：现行(*非即时更新以实际为准)
标准格式：PDF电子版
简介
T/CIE 095-2020 区块链智能合约形式化表达
标准编号：T/CIE 095-2020
规范名称：区块链智能合约形式化表达
起草单位：北京科技大学，北京大学，北京市经济和信息化局，北京市社会公信建设 促进会，天津蛟图信息科技有限责任公司，北京航天航空大学，中化能源股份有限公司，北京文 章无忧信息科技有限公司，贝壳找房（北京）科技有限公司，京东数字科技集团
*特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。电子文本仅供个人标准化学习、研究使用，不得复制、发行、汇编、翻译或网络传播等。如有侵权，请联系我们处理。