共 52 条
[1]
Ankalkoti P., 2017, Imperial Journal of Interdisciplinary Research (IJIR), V3, P1757
[2]
Anoaica A., 2018, 2018 9th IFIP international conference on New technologies, Mobility and security (NTMS), P1
[3]
[Anonymous], 2019, Forbes
[4]
[Anonymous], 2019, INT J PROD RES, DOI DOI 10.1080/00207543.2019.1627438
[5]
Antonopoulos A. M., 2019, Mastering Ethereum: Building Smart Contracts and DApps, V1st ed.
[7]
Formal Verification of Smart Contracts Short Paper
[J].
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16),
2016,
:91-96
[8]
Browne R., 2017, Cnbc, P1
[9]
Castellanos AF, 2017, 2017 5TH IEEE INTERNATIONAL CONFERENCE ON SMART ENERGY GRID ENGINEERING (SEGE), P367, DOI 10.1109/SEGE.2017.8052827