APA (7th ed.) Citation

Neupane, R. L., Bonnah, E., Bhusal, B., Neupane, K., Hoque, K. A., & Calyam, P. (2024). Formal Verification for Blockchain-based Insurance Claims Processing.

Chicago Style (17th ed.) Citation

Neupane, Roshan Lal, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, and Prasad Calyam. Formal Verification for Blockchain-based Insurance Claims Processing. 2024.

MLA (9th ed.) Citation

Neupane, Roshan Lal, et al. Formal Verification for Blockchain-based Insurance Claims Processing. 2024.