TY  - RPRT
TI  - Formal Verification for Blockchain-based Insurance Claims Processing
AU  - Roshan Lal Neupane
AU  - Ernest Bonnah
AU  - Bishnu Bhusal
AU  - Kiran Neupane
AU  - Khaza Anuarul Hoque
AU  - Prasad Calyam
PY  - 2024
UR  - https://arxiv.org/abs/2402.13169
ID  - 2402.13169
ER  -