@misc{indiciae0d321985198a,
  title = {Formal Verification for Blockchain-based Insurance Claims Processing},
  author = {Roshan Lal Neupane and Ernest Bonnah and Bishnu Bhusal and Kiran Neupane and Khaza Anuarul Hoque and Prasad Calyam},
  year = {2024},
  url = {https://arxiv.org/abs/2402.13169},
  note = {Source identifier: 2402.13169}
}