
A Formal Verification Framework for Security Issues of Blockchain Smart Contracts
Sun, Tianyu, Yu, WenshengVolume:
9
Langue:
english
Journal:
Electronics
DOI:
10.3390/electronics9020255
Date:
February, 2020
Fichier:
PDF, 2.83 MB
english, 2020