Abstraction Refinement for Large Scale Model Checking
de Chao Wang, Gary D. Hachtel, Fabio Somenzi
Materias
Ediciones (2)
- Abstraction Refinement for Large Scale Model Checking (2014)
Springer · ISBN 9781489993953
- Abstraction Refinement for Large Scale Model Checking (2006)
Springer London, Limited · inglés · ISBN 9780387346007
Más obras de Chao Wang
