Secure distributed programming with value-dependent types (bibtex)
by Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Reference:
Secure distributed programming with value-dependent types (Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang), In J. Funct. Program., volume 23, 2013.
Bibtex Entry:
@article{SwamyCFSBY13,
  author    = {Nikhil Swamy and
               Juan Chen and
               C{\'e}dric Fournet and
               Pierre-Yves Strub and
               Karthikeyan Bhargavan and
               Jean Yang},
  title     = {Secure distributed programming with value-dependent types},
  journal   = {J. Funct. Program.},
  volume    = {23},
  number    = {4},
  year      = {2013},
  pages     = {402-451},
  ee        = {http://dx.doi.org/10.1017/S0956796813000142},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser