Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Lifting Propositional Interpolants to the Word-Level

Daniel Kroening and Georg Weissenbacher

Details

Publication typeInproceedings
Published inFMCAD
Pages85-89
> Publications > Lifting Propositional Interpolants to the Word-Level