Woong-Sub Park, Hyuk Lee, Jin-Young Choi. Formal Modeling of Smart Contract-based Trading System. In 23rd International Conference on Advanced Communication Technology, ICACT 2021, Pyeongchang, South Korea, February 7-10, 2021. pages 48-52, IEEE, 2021. [doi]
Abstract is missing.