得到 2份文件引用(2016–2020) 软件作者： 杰纳罗·苏卡拉特、费利克斯·普雷蒂斯、詹姆斯·里德 相关软件： lgarch；R；动物园… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SecEr公司 1份文件引用(2018) 软件作者： David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 相关软件： 风吹；PropEr；CutEr… 主要字段： 计算机科学（68-XX）
壶 在0个文档中引用 软件作者： 泽维尔·德夫罗伊（Xavier Devroey）、阿莱西奥·甘比（Alessio Gambi）、胡安·巴勃罗·加莱奥蒂（Juan Pablo Galeotti）、勒内·贾斯特（Rene Just）、菲苏姆·基费图（Fitsum Kifetew）、安妮贝尔·帕尼切拉（An 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： –