Document :

UIT-T�SG 17� (P�riode d'�tudes 2017)� Document Temporaire� 1876-PLEN

Titre :

Proposal for a new work item : Verification for smart contract

Re�u le :

2019-01-24

Source :

Rapporteur Q14/17

AI/Question :

Q14/17

Disponibilit� :

R�serv� aux utilisateurs TIES�[UIT-T]