Yan Zhu 0010, Weijing Song, Di Wang, Di Ma, William Cheng-Chung Chu. TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transaction and Rule-Based Generation on Blockchain. IEEE Transactions on Reliability, 70(3):1255-1270, 2021. [doi]
@article{0010SWMC21, title = {TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transaction and Rule-Based Generation on Blockchain}, author = {Yan Zhu 0010 and Weijing Song and Di Wang and Di Ma and William Cheng-Chung Chu}, year = {2021}, doi = {10.1109/TR.2021.3054617}, url = {https://doi.org/10.1109/TR.2021.3054617}, researchr = {https://researchr.org/publication/0010SWMC21}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Reliability}, volume = {70}, number = {3}, pages = {1255-1270}, }