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]