DBLP Record 'conf/pldi/BlanchetCCFMMMR03'

BibTeX

@inproceedings{DBLP:conf/pldi/BlanchetCCFMMMR03,
  author    = {Bruno Blanchet and
               Patrick Cousot and
               Radhia Cousot and
               J{\'e}r{\^o}me Feret and
               Laurent Mauborgne and
               Antoine Min{\'e} and
               David Monniaux and
               Xavier Rival},
  title     = {A static analyzer for large safety-critical software},
  booktitle = {PLDI},
  year      = {2003},
  pages     = {196-207},
  ee        = {http://doi.acm.org/10.1145/781131.781153},
  crossref  = {DBLP:conf/pldi/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2003,
  title     = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
               Language Design and Implementation 2003, San Diego, California,
               USA, June 9-11, 2003},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-662-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}