Test Pattern Generation using Boolean Proof Engines
de Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Ediciones (1)
- Test Pattern Generation using Boolean Proof Engines (2010)
Springer · ISBN 9789048184910
de Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Springer · ISBN 9789048184910
