TY - 计算机工程与应用 A1 - 李舵,董超群,司品超,何曼,刘钱超 T1 - 神经网络验证和测试技术研究综述 Y1 - 2021-11-15 JF - 计算机工程与应用 JO - 计算机工程与应用 SP - 53 EP - 67 VL - 57 IS - 22 UR - http://cea.ceaj.org N1 - 10.3778/j.issn.1002-8331.2106-0342 ER -