海量图书期刊资源,随时随地畅享阅读乐趣
Oracle-based checking of untrusted softwareNecula, George C.; Rahul, S. P. · ACM SIGPLAN Notices · 2001