DMCA

Verification of equivalent-results methods (2008)

by K. Rustan M. Leino , Peter Müller
Venue:IN ESOP, VOLUME 4960 OF LNCS
Citations:9 - 3 self