Predicate Abstraction of ANSI-C Programs Using (2004)

by E Clarke, D Kroening, N Sharygina, K Yorav
Venue:SAT,” Form. Methods Syst. Des