ElliottH10'

@inproceedings{DBLP:conf/oopsla/ElliottH10,
  author    = {Michael R. Elliott and
               Peter Heller},
  title     = {Object-oriented software considerations in airborne systems
               and equipment certification},
  booktitle = {SPLASH/OOPSLA Companion},
  year      = {2010},
  pages     = {85-96},
  ee        = {http://doi.acm.org/10.1145/1869542.1869558},
  crossref  = {DBLP:conf/oopsla/2010c},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/oopsla/2010c,
  editor    = {William R. Cook and
               Siobh{\'a}n Clarke and
               Martin C. Rinard},
  title     = {Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, SPLASH/OOPSLA
               2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA},
  booktitle = {SPLASH/OOPSLA Companion},
  publisher = {ACM},
  year      = {2010},
  isbn      = {978-1-4503-0240-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}