@misc{indiciaec62d9711c2c0,
  title = {Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair},
  author = {Christian Gang Liu and Peter Bodorik and Dawn Jutla},
  year = {2025},
  doi = {10.1016/j.bcra.2025.100285},
  url = {https://arxiv.org/abs/2506.03877},
  note = {Source identifier: 2506.03877}
}