Publisher
Springer International Publishing
Reference20 articles.
1. Solidity programming language. https://soliditylang.org, Accessed 20 Jan 2022
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002). https://doi.org/10.1145/585265.585270
3. Antonopoulos, A.M., Wood, G.: Mastering Ethereum. O’Reilly, Newton (2018)
4. Brünnler, K., Flumini, D., Studer, T.: A logic of blockchain updates. J. Logic Comput. 30(8), 1469–1485 (2020). https://doi.org/10.1093/logcom/exaa045
5. Lecture Notes in Computer Science;EM Clarke,1982
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献