A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Security issues and application of blockchainSaxena, Sandeep; Gupta, Umesh Kumar; Renu; Dwivedi, Vimal KumarMachine learning, advances in computing, renewable energy and communication : proceedings of MARC 20202022 / p. 533-541 https://doi.org/10.1007/978-981-16-2354-7_47 Conference proceedings at Scopus Article at Scopus