Artikel,

Bytecode Analysis for Proof Carrying Code.

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

Metadaten

Tags

Nutzer

  • @gron
  • @dblp

Kommentare und Rezensionen