QQ客服 官方微博 反馈留言

题名	一种面向多线程的编译验证模型
作者	张晓曈
答辩日期	2017
关键词	形式化方法 编译器验证 可信软件 可信编译
学位名称	工学硕士
语种	中文
URL标识	查看原文
内容类型	学位论文
URI标识	http://www.corc.org.cn/handle/1471x/4227560
专题	武汉大学
推荐引用方式 GB/T 7714	张晓曈. 一种面向多线程的编译验证模型[D]. 2017.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。