Article,

Bytecode Analysis for Proof Carrying Code.

, , and .
Electron. Notes Theor. Comput. Sci., 141 (1): 19-34 (2005)

Meta data

Tags

Users

  • @gron
  • @dblp

Comments and Reviews