Author:
Alam Md Tauseef,Chowdhury Sujit,Halder Raju,Maiti Abyayananda
Reference36 articles.
1. A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations
2. Using FSMs to Find Patterns for Off-Chain Computing
3. Verisolid: Correct-by-design smart contracts for ethereum;mavridou;International Conference on Finance Cryptography and Data Security,0
4. Tool demonstration: Fsolidm for designing secure ethereum smart contracts;mavridou;Principles of Security and Trust,2018
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献