Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Proof-carrying code
Home
Publications
Proof-carrying code
Proof-carrying code
GN
George C. Necula
George C. Necula
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1997
proceedings article
Published by
Association for Computing Machinery (ACM)
p.
106-119
https://doi.org/10.1145/263699.263712
Abstract
No abstract available
Cited by 999 articles