DMCA
Verification of equivalent-results methods (2008)
Cached
Download Links
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [www.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
K. Rustan M. Leino
,
Peter Müller
Venue: | IN ESOP, VOLUME 4960 OF LNCS |
Citations: | 9 - 3 self |