ZHANG Yu-Wei
School of Computer Science, Peking University, Beijing 100871, China;Key Lab of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, ChinaXING Ying
School of Artificial Intelligence, Beijing University of Posts and Telecommunications, Beijing 100876, ChinaLI Ge
School of Computer Science, Peking University, Beijing 100871, China;Key Lab of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, ChinaJIN Zhi
School of Computer Science, Peking University, Beijing 100871, China;Key Lab of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, ChinaTP311
张俞炜,邢颖,李戈,金芝.基于路径语义表示的静态警报自动确认方法.软件学报,2024,35(10):4662-4680
Copy