Test Pattern Generation using Boolean Proof Engines
Publisher: Springer; Rolf Drechsler
Published: Dec 08, 2010
Format: paperback
Number of pages: 204
ISBN-13: 9789048184910