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. A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations. IEEE Access, 9:76069-76082, 2021. [doi]

Authors

Vimal Kumar Dwivedi

This author has not been identified. Look up 'Vimal Kumar Dwivedi' in Google

Alex Norta

This author has not been identified. Look up 'Alex Norta' in Google

Alexander Wulf

This author has not been identified. Look up 'Alexander Wulf' in Google

Benjamin Leiding

This author has not been identified. Look up 'Benjamin Leiding' in Google

Sandeep Saxena

This author has not been identified. Look up 'Sandeep Saxena' in Google

Chibuzor Udokwu

This author has not been identified. Look up 'Chibuzor Udokwu' in Google