×

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

MAVEN公司

9份文件引用(2007–2013)
软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz
相关软件: ProMoVer;CVPP;Aspectual Caml…
主要字段: 计算机科学(68-XX)

乔安娜

1份文件引用(2018)
软件作者: 尤根·格拉芙;马丁·赫克;马丁·莫尔;格雷戈尔·斯涅廷
相关软件: VerCors;酯类;毒蛇…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

LWeb网站

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

雨衣

1份文件引用(2019)
软件作者: 马可·瓦塞纳(Marco Vassena);俄罗斯,亚历杭德罗;巴勃罗,布瑞斯;韦伊,卢卡斯
相关软件: ——
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

RHLE基准

1份文件引用(2022)
软件作者: Robert Dickerson;叶千川;张,迈克尔·K。;特拉华州,本杰明
相关软件: 工具链;胡迪尼;iDFlakies…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

沃尔帕诺·史密斯

在0个文档中引用
软件作者: 格雷戈·斯内尔廷(Gregor Snelting);丹尼尔·瓦瑟拉布
相关软件: 伊莎贝尔/HOL
主要字段: ——

筛选结果依据…

主字段