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

45 Citations (Scopus)

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.

Keyphrases

Computer Science