TY - 计算机科学 A1 - 郑建云, 庞建民, 周鑫, 王军 T1 - 基于约束推导式的增强型二进制漏洞挖掘 Y1 - 2021-03-15 JF - 计算机科学 JO - 计算机科学 SP - 320 EP - 326 VL - 48 IS - 3 UR - https://www.jsjkx.com N1 - 10.11896/jsjkx.200700047 ER -