Sarfraz Khurshid 人物
详细信息
相关论文查看全部 (8)
Korat
2002ACM SIGSOFT Software Engineering Notes引用 598
Generalized Symbolic Execution for Model Checking and Testing
2003Lecture notes in computer science引用 565
相关公司查看全部 (1)
The University of Texas at AustinUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据