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]
No references recorded for this publication.
No citations of this publication recorded.