Wang, Chao: Abstraction Refinement for Large Scale Model Checking | DealShopping Deutschland