SAT-Based Scalable Formal Verification Solutions

Name: SAT-Based Scalable Formal Verification Solutions
Author: Malay Ganai
ISBN: 9780387691664

2007ISBN 9780387691664

Viršelis: KietasAnglų k.