Abstraction Refinement for Large Scale Model Checking
by Chao Wang, Gary D. Hachtel, Fabio Somenzi
Systems engineering
Writing a summary for young readers…
For young readers
Book data: Open Library
by Chao Wang, Gary D. Hachtel, Fabio Somenzi
Book data: Open Library