Formal Modeling of Smart Contract-based Trading System[C] 2021 23RD INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY (ICACT 2021): ON-LINE SECURITY IN PANDEMIC ERA 2021 Park, Woong Sub Lee, Hyuk Choi, Jin-Young
