AUTOMATED METHOD FOR VERIFYING THE CORRECTNESS OF THE EXECUTION OF SMART CONTRACTS IN THE BLOCKCHAIN NETWORK
Institutions
- Max Planck Society (DE)
- Weatherford College (US)
Publication Details
- Journal
- Telecommunication and information technologies
- Published
- 2025-01-01
- DOI
- https://doi.org/10.31673/2412-4338.2025.014506
- Primary Topic
- Economic and Technological Systems Analysis
- Type
- article
- Field-Weighted Citation Impact
- 0.00