Test Pattern Generation using Boolean Proof Engines
Edición de la obra Test Pattern Generation using Boolean Proof Engines
| Autor | Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille |
|---|---|
| Editorial | Springer, Rolf Drechsler |
| Fecha de publicación | Dec 08, 2010 |