Oracle-based checking of untrusted software (0)

by G Necula, S Rahul
Venue:In 28th ACM Symposium on Principles of Programming Languages (POPL'01