TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transaction and Rule-Based Generation on Blockchain[J] IEEE TRANSACTIONS ON RELIABILITY 2021(70) Zhu, Yan Song, Weijing Wang, Di Ma, Di Chu, William Cheng-Chung
