|
|||||||||||||||||||||||||||||||||||||||
Página principal : UIT-T : SG 16 : Contribuciones : 562 | Nuevo - Busque los documentos de la reunión | ||||||||||||||||||||||||||||||||||||||
[562] New: Proposal for a new work item H.veri-sc on "Formal verification framework for smart contract" | |||||||||||||||||||||||||||||||||||||||
|
Comienzo de la página -
Comentarios -
Contáctenos -
Copyright © UIT 2008 Reservados todos los derechos Contacto público : TSB EDH Actualizado el : 2019-09-25 |