Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber
Add to Reading List
Document Date: 2010-10-29 12:59:17
Open Document
File Size: 258,30 KB
Share Result on Facebook