Finite differencing of logical formulas for static analysis

Thomas W. Reps, Mooly Sagiv, Alexey Loginov. Finite differencing of logical formulas for static analysis. ACM Transactions on Programming Languages and Systems, 32(6), 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.