Interpolating Strong Induction.

Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel

Browse the full CAV paper archive.