Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Edición de la obra Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
| Autor | Chao Wang, Gary D. Hachtel, Fabio Somenzi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 20, 2006 |
| Idioma |