A formal specification smart-contract language for legally binding decentralized autonomous organizations
Dwivedi, Vimal Kumar
;
Norta, Alexander
;
Wulf, Alexander
;
Leiding, Benjamin
;
Saxena, Sandeep
;
Udokwu, Chibuzor
IEEE Access
2021
/
p. 76069−76082 : ill
https://doi.org/10.1109/ACCESS.2021.3081926
https://www.scopus.com/sourceid/21100374601
https://www.scopus.com/record/display.uri?eid=2-s2.0-85107051357&origin=inward&txGid=f2bca9848ff56958dfa0cb2e771b7f53
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000673595600001