Formal Modeling of Smart Contract-based Trading System
Year: 2021
Type: conference-paper
Authors: Woong Sub Park, Hyuk Lee, Jin-Young Choi
Institution: Korea University
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G813289526
OpenAlex ID: W3134816364