DaftarIsitemplate

Call Number

SEM-281

Title

A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62

Author

Robert R. Schneck; George C. Necula;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location