%0 Journal Article %1 journals/tcs/ColbyCHLP03 %A Colby, Christopher %A Crary, Karl %A Harper, Robert %A Lee, Peter %A Pfenning, Frank %D 2003 %J Theor. Comput. Sci. %K dblp %N 2 %P 1175-1199 %T Automated techniques for provably safe mobile code. %U http://dblp.uni-trier.de/db/journals/tcs/tcs290.html#ColbyCHLP03 %V 290

@article{journals/tcs/ColbyCHLP03, added-at = {2021-02-17T00:00:00.000+0100}, author = {Colby, Christopher and Crary, Karl and Harper, Robert and Lee, Peter and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/25f9c5512751b4e1a50b13b3240ca5db7/dblp}, ee = {https://doi.org/10.1016/S0304-3975(01)00201-8}, interhash = {7a033586918715804166b05c541c5b91}, intrahash = {5f9c5512751b4e1a50b13b3240ca5db7}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {1175-1199}, timestamp = {2024-04-08T18:40:21.000+0200}, title = {Automated techniques for provably safe mobile code.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs290.html#ColbyCHLP03}, volume = 290, year = 2003 }