Effective word-level interpolation for software verification.

Alberto Griggio

Browse the full FMCAD paper archive.