拉赫夫特 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)