DaftarIsitemplate

Call Number

SEM-281

Title

Temporal logic for proof-carrying code, Hal. 31-46

Author

Andrew Bernard and Peter Lee;

Publisher

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

Subject

Proof-carrying, code, temporal logic

Location