中文
Correctness Verification for Interactive Smart Contracts at Runtime
WANG Jiacheng, JIANG Jiajia, LI Dan, ZHANG Yushu
Journal of Applied Sciences . 2025, (2): 195 -207 .  DOI: 10.3969/j.issn.0255-8297.2025.02.001