International Telecommunication Union   ITU
Français  Español
 
Site map Contact Us Print version
  Home : ITU-T : SG 16 : Temporary Documents (Meeting 2022-01-17) : 484-WP2 Recently posted -  Search Meeting Documents
   
[484-WP2]  H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology": Output draft (Online, 17-28 January 2022)

Format

Size

Posted

English

Word  

198406 bytes 2022-01-27 [484-WP2] 
 

Document :

ITU-T SG 16  (Study Period 2017)  Temporary Document  484-WP2

Title :

H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology": Output draft (Online, 17-28 January 2022)

Date :

2022-01-27

Source :

Editor H.DLT-VERI

AI/Question :

Q22/16

Access :

Restricted to TIES users [ITU-T]

Top -  Feedback -  Contact Us -  Copyright © ITU 2008 All Rights Reserved
Contact for this page :  TSB EDH
Updated : 2022-01-27