...
机译:一种规范和分析异常处理的实用方法-Java / JVM案例研究
机译:规范和异常处理分析的实用方法-Java / JVM案例研究
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:评估诊断测试准确性的研究的系统评价和荟萃分析:临床实践性评价。研究人员-第二部分。统计。荟萃分析方法
机译:Java项目中的异常处理模式分析:一项实证研究
机译:JVM及其字节码验证程序的正式规范和验证。
机译:评估诊断测试准确性的研究的系统回顾和荟萃分析:临床研究人员的实践回顾-第二部分。荟萃分析的统计方法
机译:将实用形式方法应用于安全属性的规范和分析
机译:将实用形式化方法应用于安全性能的规范和分析