摘要：SWATI: 使用测试和归纳自动合成字长的自动化技术
作者：Susmit Jha and Sanjit A. Seshia
论文ID：1302.1920
分类：Systems and Control
分类简称：cs.SY
提交时间：2013-02-11
PDF 下载： 英文版 中文版pdf翻译中