%0 Conference Paper %1 pcc-appel %A Appel, Andrew %B 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01) %C Washington - Brussels - Tokyo %D 2001 %I IEEE %K %P 247--258 %T Foundational Proof-Carrying Code %@ 0-7695-1281-X

@inproceedings{pcc-appel, added-at = {2010-10-27T03:32:56.000+0200}, address = {Washington - Brussels - Tokyo}, author = {Appel, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/20c4c39e90c911a40b40c1516023e99ba/liangzk}, booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science ({LICS} '01)}, interhash = {d96350e92456ec71c4c332767852b063}, intrahash = {0c4c39e90c911a40b40c1516023e99ba}, isbn = {0-7695-1281-X}, keywords = {}, month = {#jun#}, pages = {247--258}, publisher = {IEEE}, timestamp = {2010-10-27T03:32:56.000+0200}, title = {Foundational Proof-Carrying Code}, year = 2001 }