Treffer: Foundational proof-carrying code
Title:
Foundational proof-carrying code
Authors:
Source:
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on. :247-256 2001
Relation:
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
Database:
IEEE Xplore Digital Library