Matches in DBpedia 2016-04 for { <http://www.springerlink.com/content/r50r712p05432703/> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- r50r712p05432703 accessdate "2010-08-13".
- r50r712p05432703 first "Guillaume".
- r50r712p05432703 isCitedBy Polyspace.
- r50r712p05432703 last "Brat".
- r50r712p05432703 publisher "Formal Methods in System Design".
- r50r712p05432703 title "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software".
- r50r712p05432703 url r50r712p05432703.
- r50r712p05432703 year "2004".