T/CIE 130-2022
Método formal de diseño y verificación del contrato inteligente blockchain (Versión en inglés)

Estándar No.

T/CIE 130-2022

Idiomas

Chino, Disponible en inglés

Organización

Group Standards of the People's Republic of China

Ultima versión

T/CIE 130-2022

T/CIE 130-2022 Historia

• 1970 T/CIE 130-2022 Método formal de diseño y verificación del contrato inteligente blockchain