 |
Chinese Classification
Professional Classification
ICS Classification
Latest
Value-added Services
|
| Chinese National Standard Category: Program language |
| English Title: | Formal expression of blockchain smart contract |
| Chinese Title: | 区块链智能合约形式化表达 |
| Standard No.: | T/CIE 095-2020 |
| Category No.: | L74 |
| Issued by: | CIE |
| Issued on: | 2020-12-21 |
| Implemented on: | |
| Status: | valid |
| Superseded by: | |
| Superseded on: | |
| Abolished on: | |
| Superseding: | |
| Word Count: | 10500 words |
| Similar Standards: |
| Tel: +86-10-8572 5655 | Fax: +86-10-8581 9515 | Email: coc@codeofchina.com | QQ: 672269886 |
| Copyright: Beijing COC Tech Co., Ltd. 2008-2020 |