Finite Differencing of Logical Formulas for Static Analysis.

Thomas W. Reps, Shmuel Sagiv, Alexey Loginov

Browse the full ESOP paper archive.