HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 hoare公理方法论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
基于无干扰理论的并发程序隐私性分析模型研究第508-514页
关键词: 隐私保护  无干扰理论  hoare公理方法  并发程序  形式化验证  
2012年第06期 《武汉大学学报·理学版》
期刊导航