Proof-carrying code: design, implementation and applications (abstract)

George C. Necula. Proof-carrying code: design, implementation and applications (abstract). In PPDP. pages 175-177, 2000. [doi]

No reviews for this publication, yet.