TY  - RPRT
TI  - Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
AU  - Christian Gang Liu
AU  - Peter Bodorik
AU  - Dawn Jutla
PY  - 2025
DO  - 10.1016/j.bcra.2025.100285
UR  - https://arxiv.org/abs/2506.03877
ID  - 2506.03877
ER  -