| |
Hashko, A. O.
Automated method for verifying the correctness of the execution of smart contracts in the blockchain network [Текст] / A. O. Hashko, A. P. Bondarchuk
// Сучасний захист інформації. – 2025. – № 4. – P. 37-43.
У статті розглядається автоматизований метод перевірки коректності смарт-контрактів у блокчейн-мережі Solana. |
