安全JML swMATH ID: 42359 软件作者: Haddad G、Hussain F、Leavens GT 描述: SafeJML:SafeJML是JML的一种方言,用于规范安全关键Java(SCJ)代码。 主页: https://sourceforge.net/p/jmlspecs/wiki/SafeJML/ 相关软件: FDR3公司;火花;马戏团;JML公司 引用于: 2文件 5位作者引用 2 安娜·卡瓦尔坎蒂 2 詹姆斯·C·P·伍德科克。 1 黄,温岭 1 简·佩莱斯卡 1 安迪·威林斯 连载1篇 1 计算的形式方面 在2个字段中引用 2 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文