共 50 条
- [22] Survey of Formal Verification Methods for Smart Contracts on Blockchain 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
- [24] HRM smart contracts on the blockchain: emulated vs native CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2020, 23 (03): : 2105 - 2122
- [26] Certificate of incapacity based on Blockchain and Smart-Contracts GESUNDHEITSOEKONOMIE UND QUALITAETSMANAGEMENT, 2020, 25 (03): : 157 - 162
- [29] Blockchain and Smart Contracts: Disruptive Technologies for the Insurance Market AMCIS 2017 PROCEEDINGS, 2017,
- [30] Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering? 2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2018, : 19 - 25