BibTeX record conf/pldi/GampeR13

download as .bib file

@inproceedings{DBLP:conf/pldi/GampeR13,
  author    = {Andreas Gampe and
               Jeffery von Ronne},
  title     = {Security completeness: towards noninterference in composed languages},
  booktitle = {{PLAS}},
  pages     = {27--38},
  publisher = {{ACM}},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics