DMCA

Bridging the Gap: Automatic Verified Abstraction of C

by David Greenaway , June Andronick , Gerwin Klein
Citations:13 - 3 self