![](/img/cover-not-exists.png)
Combining Software and Hardware Verification Techniques
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü YenigünVolume:
21
Language:
english
Pages:
30
DOI:
10.1023/a:1020383505582
Date:
November, 2002
File:
PDF, 190 KB
english, 2002