Refinement types for secure implementations (bibtex)
by Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Reference:
Refinement types for secure implementations (Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, 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 = 
{pubs/refinement-types-for-secure-implementations-toplas11.pdf},
URL = 
{pubs/refinement-types-for-secure-implementations-toplas11.pdf},
}