Refinement types for secure implementations (bibtex)

by Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon and Sergio Maffeis

Reference:

Refinement types for secure implementations (Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon and Sergio Maffeis), In ACM Trans. Program. Lang. Syst., volume 33, 2011.

Bibtex Entry:

@article{BengtsonBFGM11,
  author    = {Jesper Bengtson and
               Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon and
               Sergio Maffeis},
  title     = {Refinement types for secure implementations},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {33},
  number    = {2},
  year      = {2011},
  pages     = {8},
PDF = 
{http://prosecco.inria.fr/personal/karthik/pubs/refinement-types-for-secure-implementations-toplas11.pdf},
URL = 
{http://prosecco.inria.fr/personal/karthik/pubs/refinement-types-for-secure-implementations-toplas11.pdf},
  ee        = {http://doi.acm.org/10.1145/1890028.1890031},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}