Yoon, S., & Choi, J. Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE.
Chicago Style (17th ed.) CitationYoon, Seongho, and Jin-Young Choi. Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE.
MLA (9th ed.) CitationYoon, Seongho, and Jin-Young Choi. Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE.
Warning: These citations may not always be 100% accurate.