机译:通过重写术语重写Java字节码的自动终止分析
机译:通过术语重写来递归Java字节码程序的模块化终止证明
机译:基于路径长度的Java字节码终止分析器
机译:Java字节码的模块化终止分析及其在phoneME核心库中的应用
机译:Java字节码中的信息流分析和实施
机译:通过组织病理学分析在爪哇Medaka的性腺中使用除草剂Diuron作为内分泌干扰化学物质(EDC)(Oryzias javanicusBleeker 1854)
机译:Java字节码的模块化和现场敏感终止分析=模块化和敏感终止分析Java字节码字段
机译:Java Bytecode用于运行时分析的工具