DMCA

Modular Data Structure Verification (2007)

Cached

Download Links

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