DBLP Record 'journals/fmsd/BratDGGHLPVVW04'

BibTeX

@article{DBLP:journals/fmsd/BratDGGHLPVVW04,
  author    = {Guillaume P. Brat and
               Doron Drusinsky and
               Dimitra Giannakopoulou and
               Allen Goldberg and
               Klaus Havelund and
               Michael R. Lowry and
               Corina S. Pasareanu and
               Arnaud Venet and
               Willem Visser and
               Richard Washington},
  title     = {Experimental Evaluation of Verification and Validation Tools
               on Martian Rover Software},
  journal   = {Formal Methods in System Design},
  volume    = {25},
  number    = {2-3},
  year      = {2004},
  pages     = {167-198},
  ee        = {http://www.springerlink.com/index/10.1023/B:FORM.0000040027.28662.a4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}