High Quality Test Pattern Generation and Boolean Satisfiability

Eggersgluess

by: Stephan Eggersglüß · Rolf Drechsler

Hardcover

ISBN: 978-1-4419-9975-7

ISBN-10: 1-4419-9975-2

Springer · 2012