Proofs of Safety for Untrusted Code (1999)

by Grigore Rosu , Nathan Segerlind
Citations:1 - 0 self