[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)

International Telecommunication Union

ITU

Français Español

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)

	Format	Size	Posted

English	Word	163526 bytes	2020-07-02	[337-WP2]

Document :	ITU-T SG 16 (Study Period 2017) Temporary Document 337-WP2
Title :	H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (Virtual meeting, 22 June - 3 July 2020)
Date :	2020-07-02
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 : 2020-07-02