...
机译:Java的扩展静态检查
Compile-time; program checking;
机译:Java的扩展静态检查
机译:在类型安全的多线程Java中对线程的多个启动进行静态检查
机译:原子性的类型:Java的静态检查和推断
机译:使用Java Static Checker进行Java静态检查
机译:JML的增强功能及其扩展的静态检查技术。
机译:SPEKcheck —荧光显微镜光谱的可视化和优化:Web应用程序javascript库和数据资源
机译:更快,更完整的Java建模语言扩展静态检查