A formal specification smart-contract language for legally binding decentralized autonomous organizations

vastutusandmed
Vimal Dwivedi, Alex Norta, Alexander Wulf, Benjamin Leiding, Sandeep Saxena, Chibuzor Udokwu
allikas
ajakirja aastakäik number kuu
vol. 9
ilmumisaasta
leheküljed
p. 76069−76082 : ill
ISSN
2169-3536
märkused
Bibliogr.: 57 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Dwivedi, V., Norta, A., Wulf, A., Leiding, B., Saxena, S., Udokwu, C. A formal specification smart-contract language for legally binding decentralized autonomous organizations // IEEE Access (2021) vol. 9, p. 76069−76082 : ill. https://doi.org/10.1109/ACCESS.2021.3081926