Author:
Crafa Silvia,Di Pirro Matteo,Zucca Elena
Publisher
Springer International Publishing
Reference14 articles.
1. Solidity.
https://solidity.readthedocs.io/en/develop/index.html
. Release 0.4.25
2. Lecture Notes in Computer Science;L Alt,2018
3. Amani, S., Bégel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in Isabelle/HOL. In: Certified Programs and Proofs, pp. 66–77. ACM (2018)
4. Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: ACM Workshop on Programming Languages and Analysis for Security, pp. 91–96. ACM (2016)
5. Buterin, V.: A next-generation smart contract and decentralized application platform (white paper). Technical report (2014)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献