 |
Chinese Classification
Professional Classification
ICS Classification
Latest
Value-added Services
|
| Chinese National Standard Category: Program language |
| English Title: | |
| Chinese Title: | 区块链 智能合约形式化设计与验证方法 |
| Standard No.: | T/CIE 130-2022 |
| Category No.: | L74 |
| Issued by: | CIE |
| Issued on: | |
| Implemented on: | |
| Status: | valid |
| Superseded by: | |
| Superseded on: | |
| Abolished on: | |
| Superseding: | |
| Word Count: | 14500 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 |