Shani Raj <br/><br/>
Formal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover  

 - Kochi 22  Department of Computer Science,CUSAT  2010 
 - 95p. 
<br/><br/><label>Dewey Class. No.: </label>4889