Series on Integrated Circuits and Systems

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

Abstraction Refinement for Large Scale Model Checking

Series on Integrated Circuits and Systems

Fabio Somenzi, Chao Wang, Gary D. Hachtel

179 pages • missing pub info (editions)

nonfiction art computer science design technology medium-paced