Verification of Equivalent-Results Methods.

K. Rustan M. Leino, Peter Mller

Browse the full ESOP paper archive.