Rahul: 2001, ‘Oracle-Based Checking of Untrusted Software (0)

by G C Necula, S P
Venue:In: POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages