Oracle-Based Checking of Untrusted Software (2001)

Cached

Download Links

by George C. Necula , S.P. Rahul
Citations:55 - 3 self