University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Lifting Propositional Interpolants to the Word−Level

Daniel Kroening and Georg Weissenbacher

Details

Book Title

Proceedings of FMCAD

Note

(also presented in the TRESOR seminar at EPFL‚ June 2008)

Pages

85–89

Publisher

IEEE

Year

2007

Links

BibTeX

Link

Related pages

People