DBLP BibTeX Record 'conf/dsn/LawallBPHSM09'

@inproceedings{DBLP:conf/dsn/LawallBPHSM09,
  author    = {Julia L. Lawall and
               Julien Brunel and
               Nicolas Palix and
               Ren{\'e} Rydhof Hansen and
               Henrik Stuart and
               Gilles Muller},
  title     = {WYSIWIB: A declarative approach to finding API protocols
               and bugs in Linux code},
  booktitle = {DSN},
  year      = {2009},
  pages     = {43-52},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270354},
  crossref  = {DBLP:conf/dsn/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dsn/2009,
  title     = {Proceedings of the 2009 IEEE/IFIP International Conference
               on Dependable Systems and Networks, DSN  2009, Estoril,
               Lisbon, Portugal, June 29 - July 2, 2009},
  booktitle = {DSN},
  publisher = {IEEE},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}