Este documento especifica la estructura y sintaxis del lenguaje de contrato inteligente y define términos y definiciones relevantes. Este documento es aplicable al diseño, desarrollo y uso de contratos inteligentes generales y también puede ser una referencia para que los fabricantes y usuarios de blockchain construyan plataformas de contratos inteligentes.
T/CIE 095-2020 Historia
2020T/CIE 095-2020 Expresión formal de contratos inteligentes blockchain