Test Pattern Generation using Boolean Proof Engines

by: Rolf Drechsler · Stephan Eggersglüß · Görschwin Fey · Daniel Tille

Springer · April 2009

Hardcover

details (USA).

details (UK).

details (Canada).

details (Germany).

details (France).

ISBN: 978-90-481-2359-9

ISBN-10: 90-481-2359-3