Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington. Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design, 25(2-3):167-198, 2004. [doi]
@article{BratDGGHLPVVW04,
title = {Experimental Evaluation of Verification and Validation Tools on Martian Rover Software},
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},
year = {2004},
url = {http://www.springerlink.com/index/10.1023/B:FORM.0000040027.28662.a4},
researchr = {https://researchr.org/publication/BratDGGHLPVVW04},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {25},
number = {2-3},
pages = {167-198},
}