中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-2 of 2)

Filters            
Items/Page:    Sort:
基于规则推导的特权隐式授权分析 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 8, 页码: 2102-2113
蔡嘉勇; 卿斯汉; 刘伟; 何建波
  |  
 
C代码API一致性检验中的等值分析 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2550-2561
孟策; 贺也平; 罗宇翔
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace