دورية أكاديمية
ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level
| العنوان: | ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level |
|---|---|
| المؤلفون: | Wang, X., Tian, S., Cui, W. |
| المصدر: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(7):1789-1806 Jul, 2024 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 00985589 19393520 23263881 |
|---|---|
| DOI: | 10.1109/TSE.2024.3400294 |