Author:
Antonino Pedro,Ferreira Juliandson,Sampaio Augusto,Roscoe A. W.
Publisher
Springer International Publishing
Reference38 articles.
1. Ethereum White Paper. https://github.com/ethereum/wiki/wiki/White-Paper Accessed 5 Aug 2022
2. Lecture Notes in Computer Science;W Ahrendt,2020
3. Lecture Notes in Computer Science;L Alt,2018
4. Antonino, P., Ferreira, J., Sampaion, A., Roscoe, A.W.:Specification is law: safe deployment of ethereum smart contracts - technical report. Technical report (2022). https://github.com/formalblocks/safeevolution
5. Antonino P., Roscoe, A. W.: Formalising and verifying smart contracts with solidifier: a bounded model checker for solidity. CoRR, abs/2002.02710 (2020)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献