%0 Journal Article %1 journals/entcs/WildmoserCN05 %A Wildmoser, Martin %A Chaieb, Amine %A Nipkow, Tobias %D 2005 %J Electron. Notes Theor. Comput. Sci. %K %N 1 %P 19-34 %T Bytecode Analysis for Proof Carrying Code. %U http://dblp.uni-trier.de/db/journals/entcs/entcs141.html#WildmoserCN05 %V 141

@article{journals/entcs/WildmoserCN05, added-at = {2023-12-12T22:51:44.000+0100}, author = {Wildmoser, Martin and Chaieb, Amine and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2972bce15ea8e831e26a48265fc38c70d/admin}, ee = {https://doi.org/10.1016/j.entcs.2005.02.040}, interhash = {4ef66fcf743bc87ea48a50f039ae2ee5}, intrahash = {972bce15ea8e831e26a48265fc38c70d}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {19-34}, timestamp = {2023-12-12T22:51:44.000+0100}, title = {Bytecode Analysis for Proof Carrying Code.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs141.html#WildmoserCN05}, volume = 141, year = 2005 }