×

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

引文 按字母顺序排列

安娜

8份文件引用(1986–2007)
软件作者： 大卫·勒克姆
相关软件： Ada95；火花；规范#…
主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）

j承包商

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

筛选结果依据…

全部的 前5名

相关软件

主字段