K.: Predicate abstraction of ANSI-C programs using (2004)

by E M Clarke, D Kroening, N Sharygina, Yorav
Venue:SAT. Formal Methods in System Design