SAT-Based Scalable Formal Verification Solutions
by Malay Ganai, Aarti Gupta Hardcover 1
- Author: Malay Ganai, Aarti Gupta
- ISBN 13: 9780387691664
- ISBN 10: 0387691669
- Publication Year: 1
- Language: English
Specifications
Index-100387691669
LanguageEnglish
Index-139780387691664
Period-
Class Track-
Publisher- (1)
Pages-