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		 �