×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
学会官网
|
加入学会
|
登录学会
|
English
Toggle navigation
首页
期刊介绍
期刊简介
出版道德规范
联系我们
期刊订阅
编委会
现任编委会
往届编委会
在线期刊
过刊浏览
下载排行
网络首发
最新录用
最新征稿
编辑精选
学术活动
推荐学术会议
青年科学家沙龙
投稿指引
投稿指南
相关下载
m
Java到Micro-Dalvik虚拟机的编译验证
江南, 何炎祥, 张晓瞳
Formal Verification of
m
Java Compiler Targeting Micro-Dalvik Virtual Machine
JIANG Nan, HE Yan-xiang, ZHANG Xiao-tong
电子学报 . 2016, (
7
): 1619 -1629 . DOI: 10.3969/j.issn.0372-2112.2016.07.015
