دورية أكاديمية
Sound analysis and migration of data from Ethereum smart contracts
العنوان: | Sound analysis and migration of data from Ethereum smart contracts |
---|---|
المؤلفون: | Ayub, MahaAff1, IDs10515024004223_cor1, Khan, Muhammad Waiz, Janjua, Muhammmad Umar |
المصدر: | Automated Software Engineering: An International Journal. 31(1) |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 09288910 15737535 |
---|---|
DOI: | 10.1007/s10515-024-00422-3 |