Finite Differencing of Logical Formulas for Static Analysis.

Saved in:

Bibliographic Details
Title:	Finite Differencing of Logical Formulas for Static Analysis.
Authors:	Reps, Thomas, Sagiv, Mooly, Loginov, Alexey
Source:	ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p24-1-24-55, 55p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/1749608.1749613