Document :

ITU-T SG 16  (Study Period 2017)  Contribution  562

Title :

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

Date :

2019-09-24

Source :

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

AI/Question :

Q22/16

Meeting :

2019-10-07

Access :

Restricted to TIES users [ITU-T]