SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services[J] IEEE TRANSACTIONS ON SERVICES COMPUTING 2022(15) Chen, E. Qin, Bohan Zhu, Yan Song, Weijing Wang, Shengdian Chu, Cheng-Chung William Yau, Stephen S.
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