George Necula Computer Science Division University of California / Computer Science University of California / /
IndustryTerm
decision algorithm / software upgrades / proof-rule infrastructure / public-key infrastructure / extensible software systems / proof systems / software systems / /
Organization
ın Abadi Department / University of California / Santa Cruz / University of California / Berkeley / Proof-Carrying Code Nathan Whitehead Department / /