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

Recommendation F.751.12

In force components
Number
Title Status
F.751.12 (09/23)
 
Formal verification framework for smart contract on distributed ledger technology   In force

 

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