Model Checking of Solidity Smart Contracts Adopted for Business Processes
2021 ◽
Vol 70
(12)
◽
pp. 2006-2014
2018 ◽
Vol 30
(5)
◽
pp. 265-288
◽
Keyword(s):
2012 ◽
Vol 42
(4)
◽
pp. 854-867
◽
Keyword(s):
2021 ◽
pp. 110-117