Improving Static Analyses of C Programs with Conditional Predicates.

Sandrine Blazy, David Bhler, Boris Yakobowski

Browse the full FMICS paper archive.