Oracle-Based Checking of Untrusted Software (2001)
by
George C. Necula
,
S.P. Rahul
| Citations: | 53 - 3 self |
Document Versions
| Oracle-Based Checking of Untrusted Software –George C. Necula, S.P. Rahul — 2001 |
