DBLP BibTeX Record 'conf/sew/KulczyckiKSW07'

@inproceedings{DBLP:conf/sew/KulczyckiKSW07,
  author    = {Gregory Kulczycki and
               Heather Keown and
               Murali Sitaraman and
               Bruce W. Weide},
  title     = {Abstracting Pointers for a Verifying Compiler},
  booktitle = {SEW},
  year      = {2007},
  pages     = {204-213},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.89},
  crossref  = {DBLP:conf/sew/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sew/2007,
  title     = {31st Annual IEEE / NASA Software Engineering Workshop (SEW-31
               2007), 6-8 March 2007, Loyola College, Columbia, MD, USA},
  booktitle = {SEW},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2006-07-07 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page