Abstraction Refinement for Large Scale Model Checking electronic resource / by Chao Wang, Gary D. Hachtel, Fabio Somenzi

Författare
Chao. author. Wang
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat