Inproceedings,

A Syntactic Approach to Foundational Proof-Carrying Code.

, , , , and .
LICS, page 89-100. IEEE Computer Society, (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews