A Aralex Aachen research explorer

February 13, 2022 conference-paper

Formal Modeling of Smart Contract-based Trading System

2022 24th International Conference on Advanced Communication Technology (ICACT)

DOI: 10.23919/icact53585.2022.9728854 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 4

References 1

Model checking smart contracts for Ethereum
2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

47

citations

1 result