×

找到2个软件包（结果1-2）

引文 按字母顺序

j承包商

9份文件引用(2002–2012)
软件作者： 穆拉特·卡拉曼；帕克·阿伯克龙比
相关软件： JML；埃菲尔；规范#…
主要字段： 计算机科学（68-XX）

OCRA公司

9份文件引用(2015–2022)
软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。
相关软件： nuXmv；NuSMV；数学SAT5…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段