University of Oxford Department of Computer Science

Martin Brain

Martin Brain

Researcher

Leaving date: 31st August 2021

Selected Publications

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)