Martin Brain : Publications
-
[1]
An Abstract Interpretation of DPLL(T)
M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening
In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013.
Details about An Abstract Interpretation of DPLL(T) | BibTeX data for An Abstract Interpretation of DPLL(T)