Program Modular Certification的意思|示意
美 / /
英 / /
项目模块化认证
Program Modular Certification的网络常见释义
模块化验证 ...ords: Certified VM; Program Modular Certification; Bytecode; Hoare-style Logic [gap=569]关键词: 已验证虚拟机;模块化验证;字节码;类Hoare逻辑系统 ...