University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

An Abstract Interpretation of DPLL(T)

M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening

Details

Book Title

Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation

Year

2013

Links

BibTeX

Related pages

People