Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts[J] IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 2022(E105A) Shi, Cheng Yoneyama, Kazuki
