共 50 条
- [21] Regulating smart contracts: An efficient integration approach INTELLIGENT DECISION TECHNOLOGIES-NETHERLANDS, 2021, 15 (03): : 397 - 404
- [22] A Digital Twin Approach for Blockchain Smart Contracts 2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING-COMPANION, SANER-C 2024, 2024, : 1 - 11
- [24] An Automated Approach towards Smart Healthcare with Blockchain and Smart Contracts 2021 IEEE INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION, AND INTELLIGENT SYSTEMS (ICCCIS), 2021, : 250 - 255
- [29] The Treewidth of Smart Contracts SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 400 - 408
- [30] Declarative Smart Contracts PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 281 - 293