[ Prev section | Next section | Summary | Print/Download ]

Proofs on Safety for Untrusted Code

Grigore Rosu and Nathan Segerlind
October 27, 1999
Section 1 of 1. Select a page.

page images
[ Prev section | Next section | Summary | Print/Download ]


NCSTRL
This server operates at UCSD Computer Science and Engineering.
Send email to webmaster@cs.ucsd.edu