T/CIE 095-2020 区块链智能合约形式化表达_标准下载

T/CIE 095-2020 区块链智能合约形式化表达

团体标准推荐性

收藏报错

本文件规定了智能合约语言的结构和语法，界定了有关术语和定义
本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考

北京科技大学，北京大学，北京市经济和信息化局，北京市社会公信建设促进会，天津蛟图信息科技有限责任公司，北京航天航空大学，中化能源股份有限公司，北京文章无忧信息科技有限公司，贝壳找房（北京）科技有限公司，京东数字科技集团

朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华。

* 特别声明：资源收集自网络或用户上传，版权归原作者所有，如侵犯您的权益，请联系我们处理。

① 欢迎分享本站未收录或质量优于本站的标准，期待。
② 标准出现数据错误、过期或其它问题请点击下方「在线纠错」通知我们，感谢！
③ 本站资源均来源于互联网，仅供网友学习交流，若侵犯了您的权益，请联系我们予以删除。