BibTeX record: conf/nfm/ChakiI09

download as .bib file

@inproceedings{DBLP:conf/nfm/ChakiI09,
  author    = {Sagar Chaki and
               James Ivers},
  title     = {Software Model Checking without Source Code},
  booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
               California, USA, April 6-8, 2009.},
  year      = {2009},
  pages     = {36--45},
  crossref  = {DBLP:conf/nfm/2009},
  timestamp = {Sun, 21 Sep 2014 06:33:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/ChakiI09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {{NASA} Conference Proceedings},
  year      = {2009},
  volume    = {{NASA/CP-2009-215407}},
  timestamp = {Sun, 21 Sep 2014 06:33:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}