DBLP Record 'conf/osdi/EnglerCCH00'

BibTeX

@inproceedings{DBLP:conf/osdi/EnglerCCH00,
  author    = {Dawson R. Engler and
               Benjamin Chelf and
               Andy Chou and
               Seth Hallem},
  title     = {Checking System Rules Using System-Specific, Programmer-Written
               Compiler Extensions},
  booktitle = {OSDI},
  year      = {2000},
  pages     = {1-16},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}