助理研究员
| 姓名 | 邮箱 | 研究方向 |
| 郑维 | zhengw (at) ios.ac.cn | |
| 李黎明 | lilm (at) ios.ac.cn | 形式化验证方法 |
| 瞿荣 | qurong (at) ios.ac.cn | 软件测试 |
| 姓名 | 邮箱 | 研究方向 |
| 郑维 | zhengw (at) ios.ac.cn | |
| 李黎明 | lilm (at) ios.ac.cn | 形式化验证方法 |
| 瞿荣 | qurong (at) ios.ac.cn | 软件测试 |
Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1