Artikel in einem Konferenzbericht,

A Syntactic Approach to Foundational Proof-Carrying Code.

, , , , und .
LICS, Seite 89-100. IEEE Computer Society, (2002)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen