SAT-Based Scalable Formal Verification Solutions
by Malay Ganai, Aarti Gupta Paperback 2010
- Author: Malay Ganai, Aarti Gupta
- ISBN 13: 9781441943415
- ISBN 10: 1441943412
- Publication Year: 2010
- Language: English
Specifications
Index-101441943412
LanguageEnglish
Index-139781441943415
Period-
Class Track-
Publisher- (2010)
Pages-