Refining Approximations in Software Predicate Abstraction (2004)

by Thomas Ball , Byron Cook , Satyaki Das , Sriram K. Rajamani
Venue:In: TACAS 04: Tools and Algorithms for Construction and Analysis of Systems, Springer-Verlag
Citations:31 - 9 self