DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Prototyping AND Proof-Carrying AND Code)
Suggestions: Include records that partially match the query
Prototyping Proof-Carrying Code
Proceedings of the 3rd Ifip International Conference on Theoretical Computer Science (tcs'04) — 2004
Year: 2004
Language: English
Prototyping Proof Carrying Code 10.1007/1-4020-8141-3_27
Exploring New Frontiers of Theoretical Informatics — 2004, pp. 333-347
Year: 2004
Language: English