Test Pattern Generation using Boolean Proof Engines
- Författare
- Rolf. Drechsler
- (Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Netherlands | 2009 | Nederländerna, Dordrecht | 978-90-481-2360-5 |