×

安全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文件

按年份列出的引文