Test Pattern Generation using Boolean Proof Engines
by:
Rolf Drechsler
·
Stephan Eggersglüß
·
Görschwin Fey
· Daniel Tille
Hardcover
details (
USA
).
ISBN: 978-90-481-2359-9
ISBN-10: 90-481-2359-3
Springer
· 2009
See also:
2010
Paperback
Test Pattern Generation using Boolean Proof Engines