A Reachability Predicate for Analyzing Low-Level Software (2007)

by Shaunak Chatterjee, Shuvendu K Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Venue:In TACAS