|
|||||||||||||||||||||||||||||||||||||
Home : ITU-T : SG16 : Temporary Documents (Meeting 2023-07-10) : 127-WP1 | Recently posted - Search Meeting Documents | ||||||||||||||||||||||||||||||||||||
[127-WP1] F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent) | |||||||||||||||||||||||||||||||||||||
|
Top -
Feedback -
Contact Us -
Copyright © ITU 2008 All Rights Reserved Contact for this page : TSB EDH Updated : 2023-07-20 |