A Formal Verification Framework for Security Issues of...

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

Sun, Tianyu, Yu, Wensheng
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
9
Langue:
english
Journal:
Electronics
DOI:
10.3390/electronics9020255
Date:
February, 2020
Fichier:
PDF, 2.83 MB
english, 2020
La conversion en est effectuée
La conversion en a échoué