Institute of Computing Technology, Chinese Academy IR
分面浏览：出处 |
| 当前检索式 | ((ALL：formal verification)) |
| 限定条件 | ((专题：中国科学院计算技术研究所期刊论文)) |
| 计算机辅助设计与图形学学报 3 | JOURNAL OF COMPUTER 2 | EMBEDDED SOFTWARE AN 1 |
| IEEE TRANSACTIONS ON 1 | Journal of Computer 1 | SCIENCE IN CHINA SER 1 |
