A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations
- Vimal Kumar Dwivedi
- , Alex Norta
- , Alexander Wulf
- , Benjamin Leiding
- , Sandeep Saxena
- , Chibuzor Udokwu
Research output: Contribution to journal › Article › peer-review
66
Link opens in a new tab
Citations
(Scopus)
184
Downloads
(Pure)