2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis
Doron A. Peled
1 (2005年10月26日)
出版时间：2005-10
出版社：1 (2005年10月26日)
作者：Doron A. Peled
页数：506
图书封面
下载链接
2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and AnalysisPDF格式下载