×

找到15个软件包(结果1-15)

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)

寓言

6篇文献引用(2011–2017)
软件作者: Swamy N、Corcoran BJ、Hicks M
相关软件: F*;Jif;AURA…
主要字段: 计算机科学(68-XX)

ConSpec公司

5份文件引用(2008–2013)
软件作者: 艾伦·阿克图格;卡齐亚琳娜·纳柳卡
相关软件: 自旋蛋白;方面J;SLAM…
主要字段: 计算机科学(68-XX)

KAoS公司

引用于2份文件(2004)
软件作者: 安德烈·乌斯科(Andrzej Uszok);Jeffrey M.Bradshaw。;雷妮娅·杰弗斯
相关软件: ——
主要字段: 计算机科学(68-XX)

绉纱

1份文件引用(2015年)
软件作者: Conti,M.,Nguyen,V.T.N.,Crispo,B。
相关软件: 林腾特;Coq公司
主要字段: 计算机科学(68-XX)

FreeSpec标准

引用于2份文件(2021–2022)
软件作者: 乐天T
相关软件: Coq;层次建设者;OCaml…
主要字段: 计算机科学(68-XX)

守门人

1份文件引用(2013)
软件作者: S.Guarnieri;B.利夫希特
相关软件: JavaScript;ast;合成码…
主要字段: 计算机科学(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)

ACCESSPROV公司

1份文件引用(2020)
软件作者: Capobianco,F。;斯卡尔卡,C。;Jaeger,T。
相关软件: 导线;PQL语言
主要字段: 计算机科学(68-XX)

AdJail监狱

1份文件引用(2013)
软件作者: Ter Louw,M。;Ganesh,K。;Venkatakrishnan,V.,Adjail(阿贾尔)
相关软件: FlowFox;水仙;AD安全…
主要字段: 计算机科学(68-XX)

LWeb网站

1份文件引用(2021)
软件作者: 詹姆斯·帕克、尼基·瓦祖、迈克尔·希克斯
相关软件: 地形;p4v;排练…
主要字段: 计算机科学(68-XX)

节点入口

在0个文档中引用
软件作者: 威廉·德格罗夫(Willem De Groef)、法比奥·马萨奇(Fabio Massacci)、弗兰克·皮森斯(Frank Piessens)
相关软件: Retired.js;冲突JS;合成码…
主要字段: ——

智能建模器

1份文件引用(2012)
软件作者: 阿特姆·卡塔诺索夫
相关软件: ——
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

主字段