%0 Conference Paper %1 WildmoserCN-Bytecode05 %A Wildmoser, Martin %A Chaieb, Amine %A Nipkow, Tobias %B Electronic Notes in Computer Science %D 2005 %J Proceedings of the 1st Workshop on Bytecode Semantics, Verification and Transformation %K Bytecode PhD Proposal %N 1 %P 19-34 %T Bytecode Analysis for Proof Carrying Code %U http://www4.in.tum.de/~wildmosm/publications/WildmoserCN-Bytecode05.pdf %V 141

@inproceedings{WildmoserCN-Bytecode05, added-at = {2008-09-04T10:15:22.000+0200}, author = {Wildmoser, Martin and Chaieb, Amine and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2e1f18cba7391578165a0f9775d06cd29/gron}, description = {Bytecode Analysis for Proof Carrying Code}, interhash = {4ef66fcf743bc87ea48a50f039ae2ee5}, intrahash = {e1f18cba7391578165a0f9775d06cd29}, journal = {Proceedings of the 1st Workshop on Bytecode Semantics, Verification and Transformation}, keywords = {Bytecode PhD Proposal}, number = 1, pages = {19-34}, series = {Electronic Notes in Computer Science}, timestamp = {2008-09-04T10:15:22.000+0200}, title = {Bytecode Analysis for Proof Carrying Code}, url = {http://www4.in.tum.de/~wildmosm/publications/WildmoserCN-Bytecode05.pdf}, volume = 141, year = 2005 }