BibTeX record conf/eurosys/SettyBVBPW13

download as .bib file

@inproceedings{DBLP:conf/eurosys/SettyBVBPW13,
  author    = {Srinath T. V. Setty and
               Benjamin Braun and
               Victor Vu and
               Andrew J. Blumberg and
               Bryan Parno and
               Michael Walfish},
  title     = {Resolving the conflict between generality and plausibility in verified
               computation},
  booktitle = {EuroSys},
  pages     = {71--84},
  publisher = {{ACM}},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics