Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Zhang Chengxuan"'
Publikováno v:
Supply Chain Management: An International Journal, 2024, Vol. 29, Issue 6, pp. 1019-1041.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/SCM-03-2024-0208
Smart contracts are computer programs running on blockchains to automate the transaction execution between users. The absence of contract specifications poses a real challenge to the correctness verification of smart contracts. Program invariants are
Externí odkaz:
http://arxiv.org/abs/2401.00650
Autor:
Zhang Chengxuan
Publikováno v:
Chinese Nursing Research; Jun2014, Vol. 28 Issue 6C, p2304-2305, 2p