...
机译:完善Java字节码验证的官方规范
Kestrel Institute, 3260 Hillview Avenue, Palo Alto, CA 94304, U.S.A.;
java; bytecode verification; specification;
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:经过验证的Java字节码验证
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:Java字节码规范和验证
机译:JVM及其字节码验证程序的正式规范和验证。
机译:番石榴果实成熟期的化学特征和抗氧化能力验证
机译:完善Java字节码验证的官方规范