International Telecommunication Union   ITU
Français  Español
 
Site map Contact Us Print version
  Home : ITU-T : SG16 : Temporary Documents (Meeting 2023-07-10) : 187-PLEN Recently posted -  Search Meeting Documents
   
[187-PLEN]  Consent: F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New)

Format

Size

Posted

English

Word  

306421 bytes 2023-07-21 [187-PLEN] 
 

Document :

ITU-T SG16  (Study Period 2022)  Temporary Document  187-PLEN

Title :

Consent: F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New)

Date :

2023-07-21

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 : 2023-07-21