I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Formal Verification of BNB Smart Contract:

, In: 2019 5th International Conference on Big Data Computing and Communications (BIGCOM),
Li, Xiaoyu ; Su, Cheng ; Xiong, Yan.. - p. 74-78 , 2019
Link: https://doi.org/10.1109/BIGCOM.2019.00021