A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations
- Vimal Dwivedi
- , Alex Norta
- , Alexander Wulf
- , Benjamin Leiding
- , Sandeep Saxena
- , Chibuzor Udokwu
Research output: Contribution to journal › Article › peer-review
35
Downloads
(Pure)