DBLP BibTeX Record 'conf/nfm/2009'

@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}
}