Publisher
Springer Nature Switzerland
Reference29 articles.
1. Ahrendt, W., Bubel, R.: Specifying functional verification of smart contracts via strong data integrity. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Applications. pp. 43–59. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-61467-6_2
2. Lecture Notes in Computer Science;L Alt,2018
3. Antonopoulos, A., Wood, G., Wood, G.: Mastering Ethereum: Building Smart Contracts and DApps. O’Reilly Media, Incorporated (2018). https://books.google.be/books?id=SedSMQAACAAJ
4. Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) Principles of Security and Trust, pp. 164–186. Springer, Berlin (2017). https://doi.org/10.1007/978-3-642-54792-8
5. Lecture Notes in Computer Science;B Beckert,2020
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automating Software Re-engineering: Introduction to the ISoLA 2022 Track;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022