Search Results for 'De politicized formalist abstraction'

Introduction to SAT Based Abstraction Refinement in Model Checking