Department of Computing and Information Sciences, Kansas State University;
机译:面向对象程序的模块化规范和验证
机译:JML中框架属性的模块化规范
机译:重复使用专用于测试验证的JML规范,反之亦然:案例研究
机译:JML教程:模块化规范和Java功能行为的验证(邀请教程)
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:术中植入定向钯源网格(CivaSheet™):剂量学验证临床调试剂量规范和初步经验
机译:扩展JML以进行模块化规范和验证多线程程序