标准详情与信息
标准名称：区块链智能合约形式化表达
标准号：T/CIE 095-2020
发布日期：2020-12-21
实施日期：2021-01-01
行业分类：I6490 其他互联网服务
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。
起草单位与起草人
主要起草人：朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华。
起草单位：北京科技大学，北京大学，北京市经济和信息化局，北京市社会公信建设 促进会，天津蛟图信息科技有限责任公司，北京航天航空大学，中化能源股份有限公司，北京文 章无忧信息科技有限公司，贝壳找房（北京）科技有限公司，京东数字科技集团
*本网站标准资料仅供参考，使用标准请以正式出版的标准版本为准。