Verification of equivalent-results methods (2008)

by K R M Leino, P Müller
Venue:In ESOP, volume 4960 of LNCS