T/CIE 130-2022
Formal design and verification method of blockchain smart contract (English Version)

Standard No.

T/CIE 130-2022

Language

Chinese, Available in English version

Published By

Group Standards of the People's Republic of China

Latest

T/CIE 130-2022

T/CIE 130-2022 history

• 1970 T/CIE 130-2022 Formal design and verification method of blockchain smart contract