EasyChair Smart Slide
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification