DBLP BibTeX Record 'conf/nfm/ChakiI09'

@inproceedings{DBLP:conf/nfm/ChakiI09,
  author    = {Sagar Chaki and
               James Ivers},
  title     = {Software Model Checking without Source Code},
  booktitle = {NASA Formal Methods},
  year      = {2009},
  pages     = {36-45},
  crossref  = {DBLP:conf/nfm/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/nfm/2009,
  editor    = {Ewen Denney and
               Dimitra Giannakopoulou and
               Corina S. Pasareanu},
  title     = {First NASA Formal Methods Symposium - NFM 2009, Moffett
               Field, California, USA, April 6-8, 2009},
  booktitle = {NASA Formal Methods},
  series    = {NASA Conference Proceedings},
  volume    = {NASA/CP-2009-215407},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}