×

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

拉赫夫特

8份文件引用(2018–2023)
软件作者: Kafle,B.,Gallagher,J.P.,Morales,J.F。
相关软件: z3;SeaHorn;垫片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

参数帮助器

在0个文档中引用
软件作者: Bernd Bischl、Michel Lang、Jakob Bossek、Daniel Horn、Karin Schork、Jakob-Richter、Pascal Kerschke
相关软件: mlr;R;莫斯科金融服务体系…
主要字段: ——

VeriFly公司

2份文件引用(2021–2022)
软件作者: 桑切斯·奥尔达兹,米格尔·A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。
相关软件: 汞;CiaoPP;再见…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段