Documento :

UIT-T�SG 16� (Periodo de estudios 2017)� Contribuci�n� 562

T�tulo :

New: Proposal for a new work item H.veri-sc on "Formal verification framework for smart contract"

Recibido en :

2019-09-24

Origen :

Electronics and Telecommunications Research Institute (ETRI) (Korea (Rep. of))

AI/Cuesti�n :

Q22/16

Reuni�n :

2019-10-07

Disponibilidad :

Restringido a usuarios de TIES�[UIT-T]