APA (7th ed.) Citation

Yoon, S., & Choi, J. (2025, January). Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE Access.

Chicago Style (17th ed.) Citation

Yoon, Seongho, and Jin-Young Choi. "Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+." IEEE Access Jan. 2025.

MLA (9th ed.) Citation

Yoon, Seongho, and Jin-Young Choi. "Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+." IEEE Access, Jan. 2025.