A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations[J] IEEE ACCESS 2021(9) Dwivedi, Vimal Norta, Alex Wulf, Alexander Leiding, Benjamin Saxena, Sandeep Udokwu, Chibuzor
The State of the Art for Blockchain-Enabled Smart-Contract Applications in the Organization[C] 2018 IVANNIKOV ISPRAS OPEN CONFERENCE (ISPRAS) 2018 Udokwu, Chibuzor Kormiltsyn, Aleksandr Thangalimodzi, Kondwani Norta, Alex
