BibTeX record conf/ecoop/LarmuseauPC14

download as .bib file

@inproceedings{DBLP:conf/ecoop/LarmuseauPC14,
  author    = {Adriaan Larmuseau and
               Marco Patrignani and
               Dave Clarke},
  title     = {Operational Semantics for Secure Interoperation},
  booktitle = {PLAS@ECOOP},
  pages     = {40},
  publisher = {{ACM}},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics