|
|||||||||||||||||||||||||||||||||||||
Home : ITU-T : SG 16 : Temporary Documents (Meeting 2020-06-22) : 337-WP2 | Recently posted - Search Meeting Documents | ||||||||||||||||||||||||||||||||||||
[337-WP2] H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (Virtual meeting, 22 June - 3 July 2020) | |||||||||||||||||||||||||||||||||||||
|
Top -
Feedback -
Contact Us -
Copyright © ITU 2008 All Rights Reserved Contact for this page : TSB EDH Updated : 2020-07-02 |