George C. Necula, Shree Prakash Rahul
Oracle-based checking of untrusted software
POPL, 2001.
@inproceedings{POPL-2001-NeculaR, author = "George C. Necula and Shree Prakash Rahul", booktitle = "{Conference Record of the 28th Symposium on Principles of Programming Languages}", doi = "10.1145/360204.360216", editor = "Chris Hankin and Dave Schmidt", isbn = "1-58113-336-7", pages = "142--154", publisher = "{ACM}", title = "{Oracle-based checking of untrusted software}", year = 2001, }