EasyChair Smart Slide
Executable Counterexamples in Software Model Checking
Executable Counterexamples in Software Model Checking