Model-Checking of Smart Contracts
2021 ◽
Vol 70
(12)
◽
pp. 2006-2014
2018 ◽
Vol 30
(5)
◽
pp. 265-288
◽
Keyword(s):
2020 ◽
Vol 10
(4)
◽
pp. 588-593
2020 ◽
Vol 63
◽
pp. 101129
◽
2000 ◽
Vol 5
◽
pp. 1
◽
Keyword(s):