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}
}