Paragon公司 9份文件引用(2010–2022) 软件作者: 尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹 相关软件: Jif;github;SeLINQ… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
FlowFox公司 引用于8份文件(2013–2021) 软件作者: Groef,W.D.、Devriese,D.、Nikiforakis,N.、Piessens,F。 相关软件: Jif;CoSMed;CAVA LTL模型检查器… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
LoPSiL公司 5份文件引用(2009–2023) 软件作者: 杰·利加蒂(Jay Ligatti);比利·里基;纳林·赛加尔 相关软件: 方面J;BCEL;TaintDroid公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KAoS公司 引用于2份文件(2004) 软件作者: 安德烈·乌斯科(Andrzej Uszok);Jeffrey M.Bradshaw。;雷妮娅·杰弗斯 相关软件: —— 主要字段: 计算机科学(68-XX)
J和 在0个文档中引用 软件作者: Pieter Agten、Steven Van Acker、Yoran Brondsema、Phu H.Phung、Lieven Desmet、Frank Piessens 相关软件: 卡亚;Retired.js;冲突JS… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
AdJail监狱 1份文件引用(2013) 软件作者: Ter Louw,M。;Ganesh,K。;Venkatakrishnan,V.,Adjail(阿贾尔) 相关软件: FlowFox;水仙;AD安全… 主要字段: 计算机科学(68-XX)
节点入口 在0个文档中引用 软件作者: 威廉·德格罗夫(Willem De Groef)、法比奥·马萨奇(Fabio Massacci)、弗兰克·皮森斯(Frank Piessens) 相关软件: Retired.js;冲突JS;合成码… 主要字段: ——