T/CIE 130-2022
Formale Design- und Verifizierungsmethode für Blockchain-Smart-Verträge (Englische Version)

Standard-Nr.

T/CIE 130-2022

Sprachen

Chinesisch, Verfügbar auf Englisch

Organisation

Group Standards of the People's Republic of China

Letzte Version

T/CIE 130-2022

T/CIE 130-2022 Veröffentlichungsverlauf

• 1970 T/CIE 130-2022 Formale Design- und Verifizierungsmethode für Blockchain-Smart-Verträge