[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Using Coverage to Deploy Formal Verification in a Simulation World
- 作者Gopalakrishnan, Ganesh; Qadeer, Shaz
- 文件大小239.17KB
- 发表时间2011
- DOI10.1007/978-3-642-22110-1_5
- 页码44-49
海量图书期刊资源，随时随地畅享阅读乐趣