引用人
玫瑰A 班萨尔S (2024) 为翻译验证建立本地内存动态(去)分配模型 美国计算机学会程序设计语言会议录 10.1145/3649863 8 :OOPSLA1 (1463-1492) 在线发布日期:2024年4月29日 周A 胡毅 徐X 张C (2024) ARCTURUS:基于可达性引导仿真的全覆盖二进制相似性分析 软件工程及方法论学报 10.1145/3640337 33 :4 (1-31) 在线发布日期:2024年1月11日 Leeson W公司 德怀尔·M (2024) 基于图神经网络的软件验证算法选择 软件工程及方法论学报 10.1145/3637225 33 :3 (1-36) 在线发布日期:2024年3月14日 显示更多引用者