DMCA

Modular Data Structure Verification (2007)

Cached

Download Links

by Martin C. Rinard
Venue:EECS DEPARTMENT, MASSACHUSETTS INSTITUTE OF TECHNOLOGY
Citations:44 - 21 self