Decision Procedures — an Algorithmic Point of View

Kroening, Daniel and Strichman, Ofer

people	Daniel Kroening
activities	Hardware Verification \| Model Checking \| Software Model Checking
themes	Verification