International Telecommunication Union � ITU
Fran�ais� Espa�ol
�
Site map Contact us Print version
� Home : ITU-T : Publications : Recommendations : F�Series : F.751.12 : F.751.12 (09/23)
Recently posted�-� Search Recommendations
� �
F.751.12�:�Formal verification framework for smart contract on distributed ledger technology �

Recommendation F.751.12 (09/23)

Approved in 2023-09-13

Status : In force

�

Table of Contents

�

Summary

Access : Freely available items

Available languages and formats :
�
Click on the Item

Click on the selected format
and language to get the document

� �
Format Size Posted Article Number
English

PDF Document PDF (acrobat)

1076122 bytes 2023-11-28 E�80000�

Access :

TIES users

Available languages and formats :
�
Click on the Item

Click on the selected format
and language to get the document

� �
Format Size Posted Article Number TIES users
English

Word 2007 Document Word 2007

 954748 bytes 2023-11-28 E�80000� Download

�

Top�-� Feedback�-� Contact us�-� Copyright � ITU�2008�All Rights Reserved
Contact for this page :� ITU-T Publications
Updated :�2023-11-28		 �