EasyChair Smart Slide
A Novel Approach in Proving Unreachable Paths in Hardware-Dependent Software
A Novel Approach in Proving Unreachable Paths in Hardware-Dependent Software