Microsoft Research
Microsoft Translator |
Lifting Propositional Interpolants to the Word-Level

Daniel Kroening and Georg Weissenbacher
2007

In  FMCAD

Details

TypeInproceedings
Pages85-89
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Lifting Propositional Interpolants to the Word-Level