Yuchen Dong, Hanfei Wang, Jianhua Zhao. 基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method). 计算机科学, 42(12):47-51, 2015. [doi]
@article{DongWZ15-0,
title = {基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method)},
author = {Yuchen Dong and Hanfei Wang and Jianhua Zhao},
year = {2015},
url = {http://www.jsjkx.com/EN/Y2015/V42/I12/47},
researchr = {https://researchr.org/publication/DongWZ15-0},
cites = {0},
citedby = {0},
journal = {计算机科学},
volume = {42},
number = {12},
pages = {47-51},
}