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 journalArticlepeer-review

49 Citations (Scopus)
77 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations'. Together they form a unique fingerprint.

Computer Science