Regression Verification for Unbalanced Recursive Functions.

Ofer Strichman, Maor Veitsman

Browse the full FM paper archive.