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

by S Chatterjee, S K Lahiri, S Qadeer, Z Rakamaric
Venue:In Proceedings of TACAS’07, volume 4424 of LNCS