引用人
苏萨格Z 拉希里S 徐杰 罗伊·S (2022) 随机程序的符号执行 美国计算机学会程序设计语言会议录 10.1145/3563344 6 :OOPSLA2 (1583-1612) 在线发布日期:2022年10月31日 Mangal R公司 Sarangmath K公司 诺丽A 奥索A (2021) 神经网络的概率Lipschitz分析 静态分析 10.1007/978-3-030-65474-0_13 (274-309) 在线发布日期:2021年1月13日 柯克比·M (2020) 确定性程序的概率输出分析-重用现有的非概率分析 理论计算机科学中的电子论文集 10.4204/EPTCS.312.4 312 (43-57) 在线发布日期:2020年1月20日 显示更多引用者