TY  - BOOK
AU  - Shani Raj
TI  - Formal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover 
U1  - 4889 
PY  - 2010///
CY  - Kochi 22
PB  - Department of Computer Science,CUSAT
ER  -