Hongyu Kuang, Jian Wang 0020, Ruilin Li, Chao Feng, Yunfei Su, Xing Zhang. Automated detection on the security of the linked-list operations. Frontiers of Computer Science in China, 16(2):162201, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.