DBLP Record 'journals/tcs/ColbyCHLP03'

BibTeX

@article{DBLP:journals/tcs/ColbyCHLP03,
  author    = {Christopher Colby and
               Karl Crary and
               Robert Harper and
               Peter Lee and
               Frank Pfenning},
  title     = {Automated techniques for provably safe mobile code},
  journal   = {Theor. Comput. Sci.},
  volume    = {290},
  number    = {2},
  year      = {2003},
  pages     = {1175-1199},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}